NunoDasNeves / haskell-c-compilerLinks
Learning Haskell for the first time and using it to write a simple C compiler
☆25Updated 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☆42Updated 4 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- Haskell Operating System☆163Updated 16 years ago
- Small C Compiler written in Haskell☆14Updated 7 years ago
- Simple C Haskell Compiler☆22Updated 2 years ago
- Tiny c compiler☆59Updated 5 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- The Sharp programming language☆45Updated 2 months ago
- Kaleidoscope Tutorial using llvm-hs☆82Updated 4 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆290Updated 2 years ago
- Study of language design and implementation.☆67Updated 4 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- Lex and YACC examples☆41Updated 4 years ago
- A simple programming language inspired by Python, JavaScript and C☆35Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Experimental Rust compiler in pure C.☆12Updated 5 years ago
- The Silk Programming Language☆79Updated 4 years ago
- Yet another tiny tiny self-hosted C compiler, assembler, linker and standard C library.☆198Updated 6 years ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- My esoteric languages☆27Updated 2 years ago
- Bon is a programming language designed with simplicity, performance, and safety in mind.☆313Updated 3 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆28Updated 7 years ago
- A toy programming language compiled to LLVM IR (<200 LoC, dumbed down for educational)☆27Updated 5 years ago
- An interpreter☆182Updated 3 weeks ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆34Updated 5 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆119Updated 4 years ago
- Basic X86-64 assembler, written in golang☆68Updated 4 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆61Updated 11 months ago