Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
Repository Index
71,372 visible repositories in the index
25–28 of 28 · Most stars
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.
- 16-bit
- 8086
- compiler
- devkit