taddeus / brainfucker
A Brainfuck to binary compiler using LLVM, written in OCaml.
☆19Updated last year
Alternatives and similar repositories for brainfucker:
Users that are interested in brainfucker are comparing it to the libraries listed below
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 11 months ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆27Updated 2 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- A pure Haskell implementation of Plan9's mk☆16Updated 9 years ago
- ☆23Updated 9 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 11 years ago
- L-system interpreter in OCaml☆22Updated 9 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Freestanding OCaml runtime☆103Updated last month
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- ☆38Updated 8 years ago
- Functional kernel written in OCaml.☆32Updated 11 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 9 years ago
- minimal lisp that compiles to x86☆10Updated 8 years ago
- quick c☆35Updated 3 years ago
- A proof assistant.☆12Updated 9 years ago
- GNU APL port to Android☆16Updated 10 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- ☆22Updated 13 years ago
- Simple password db☆23Updated 6 years ago
- a simple concatenative programming language written in C++☆35Updated 6 years ago
- Wiki For Camlunity☆13Updated 10 years ago
- subset-of-C compiler targeting 32-bit x86☆115Updated last year