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–23 of 23 · Most stars
A small, fast, JavaScript-based JavaScript parser
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
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.
Simple C compiler
- c-compiler
- compiler
- dos
- x86
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
- pharo
- reflective
- language
- tools
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
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
A small JavaScript library for defining and using union types.
A pure-Go JavaScript runtime built for running many small plugin sandboxes fast.
- golang
- javascript
- sandbox
Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.
- java
- jni
- gradle
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ni is a small esoteric programming language turing complete, cell based, like brainfuck.
- esoteric-programming-language
- esoteric-language
- esoteric-interpreter
- esoteric-languages
Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.
- 16-bit
- 8086
- compiler
- devkit