NunoDasNeves / haskell-c-compilerLinks
Learning Haskell for the first time and using it to write a simple C compiler
☆26Updated 7 years ago
Alternatives and similar repositories for haskell-c-compiler
Users that are interested in haskell-c-compiler are comparing it to the libraries listed below
Sorting:
- lambda calculus interpreter☆44Updated 4 years ago
- Small C Compiler written in Haskell☆15Updated 7 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Updated 5 years ago
- A demonstration of implementing a "type-safe" lazy iterator interface in pure C99☆100Updated 4 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆293Updated 3 years ago
- How to write a UNIX shell, with a lot of background☆355Updated 8 years ago
- Haskell Operating System☆170Updated 16 years ago
- Lox interpreter written in Lox☆123Updated last month
- C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C99☆185Updated this week
- A Quick Backend☆351Updated 3 years ago
- The Melon programming language☆37Updated 2 years ago
- A simple hobby operating system for the x86-64 architecture☆72Updated 4 years ago
- Simple compiler ecosystem☆206Updated 4 years ago
- Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.☆154Updated 3 years ago
- The functional Haskell kernel☆140Updated 9 years ago
- Big List of ABI Resources☆47Updated last year
- A public database of C compiler test cases, minimal test runners, and public test results.☆234Updated 4 years ago
- Toy C compiler☆252Updated 4 years ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆118Updated 4 years ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆61Updated last year
- Compiler from C to brainfuck☆235Updated 2 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- Paka language☆161Updated 2 years ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆290Updated last year
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆401Updated 4 years ago
- A virtual machine and a tree-walk interpreter for the Lox programming language in C89☆50Updated 6 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated this week
- The only true brainfuck-targetting assembler.☆116Updated 2 years ago