cowgol
System compiler
A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed.
A self-hosted Ada-inspired programming language for very small systems.
248 stars
16 watching
20 forks
Language: C
last commit: 2 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 jserv/amacc | A compiler for the Arm architecture that compiles a subset of C to generate executables and supports just-in-time execution. | 1,015 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 748 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 radian-software/kalyn | A compiler that translates a functional programming language to x86-64 machine code from scratch. | 157 |
 leepike/copilot | A language and toolset for generating hard real-time C code from a domain-specific stream language | 149 |
 intel/systemc-compiler | Translates SystemC code to synthesizable SystemVerilog for hardware design and synthesis. | 249 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 30 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 274 |
 anoma/juvix | A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming. | 455 |
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 620 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
 mercury-language/mercury | A language and compiler that combines logic and functional programming with static analysis and error detection features. | 907 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 267 |
 curtisfenner/zsmol | A compiler and reference implementation for a new programming language | 9 |