A1Liu / tci
Teaching C Interpreter
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for tci
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆531Updated last week
- Cone Programming Language☆529Updated last year
- ☆1,017Updated last year
- CakeML: A Verified Implementation of ML☆964Updated this week
- Hazel, a live functional programming environment with typed holes☆803Updated this week
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆279Updated 2 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆610Updated 3 years ago
- The Renaissance of Operating Systems☆156Updated 2 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆564Updated 2 years ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆600Updated 3 weeks ago
- A Quick Backend☆305Updated 2 years ago
- You might not need your garbage collector☆536Updated 4 years ago
- Bolt is a language with in-built data-race freedom!☆572Updated 11 months ago
- Lox interpreter written in Lox☆114Updated last year
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆296Updated last year
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- The Pyret language.☆1,072Updated 3 weeks ago
- Automatic verification of LLVM optimizations☆797Updated this week
- The Felix Programming Language☆806Updated last month
- ☆223Updated 3 months ago
- A human readable quasi-concatenative programming language☆245Updated last month
- ☆18Updated 2 years ago
- JIT compiler and runtime for a toy language, using Cranelift☆642Updated last year
- The CompCert formally-verified C compiler☆1,889Updated this week
- Never: statically typed, embeddable functional programming language.☆435Updated 6 months ago
- The MaPLe compiler for efficient and scalable parallel functional programming☆347Updated 2 weeks ago
- The Finch programming language☆244Updated 4 years ago
- The Vellvm (Verified LLVM) coq development.☆400Updated this week
- A Simple showcase for the Sea-of-Nodes compiler IR☆389Updated this week
- ☆86Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year