taddeus / brainfucker
A Brainfuck to binary compiler using LLVM, written in OCaml.
☆19Updated 2 years ago
Alternatives and similar repositories for brainfucker
Users that are interested in brainfucker are comparing it to the libraries listed below
Sorting:
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- L-system interpreter in OCaml☆22Updated 9 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 11 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- Raft consensus algorithm implementation☆33Updated 5 years ago
- ☆22Updated 13 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A proof assistant.☆12Updated 9 years ago
- ☆22Updated 9 years ago
- Distributed computing library☆35Updated 6 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Freestanding OCaml runtime☆104Updated 2 months ago
- minimal lisp that compiles to x86☆10Updated 8 years ago
- A pure Haskell implementation of Plan9's mk☆16Updated 9 years ago
- Simple password db☆23Updated 6 years ago
- ☆38Updated 9 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 years ago
- A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…☆28Updated 7 years ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A library to write emacs plugins in OCaml☆20Updated 8 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- Multilingualization for the OCaml source code☆50Updated 6 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆19Updated 3 years ago