Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
- microcontroller
- tinygo
- llvm
- wasm
Repository Index
47,133 repositories indexed
1–24 of 72 · Most stars
A small, fast, JavaScript-based JavaScript parser
HVM1 (2022): a massively parallel, optimal functional runtime in Rust
JSPatch bridge Objective-C and Javascript using the Objective-C runtime. You can call any Objective-C class and method in JavaScript by just including a small engine. JSPatch is generally used to hotfix iOS App.
- jspatch
- hotfix
- jsbridge
- objc-runtime
A Small C Compiler
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A minimalistic ClojureScript interface to React.js
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
- java
- jvm
- eclipse-openj9
- compiler
TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
🔘 Minimalistic and High-performance goroutine worker pool written in Go
- go
- goroutine-pool
- worker-pool
- worker-pool-factory
⚡️ Lightweight full-featured Promises, Async & Await Library in Swift
- promises
- promise-library
- await
- swift
Simple C compiler
- c-compiler
- compiler
- dos
- x86
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
- pharo
- reflective
- language
- tools
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
High-performance, minimalist async-io (proactor) networking for Golang.
- asyncio
- proactor
- c10k
- epoll
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq