taddeus / brainfucker

Related projects ⓘ

Alternatives and complementary repositories for brainfucker

• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 12 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆42Updated 6 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 6 months ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆22Updated 8 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 7 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• charles-l / po
  minimal lisp that compiles to x86
  ☆10Updated 7 years ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆43Updated 4 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 5 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 3 years ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 5 years ago
• arlencox / QUICr
  QUICr parametric abstract domain for sets
  ☆12Updated 9 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• fare / moll
  My Own Linear Lisp
  ☆37Updated 6 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 6 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 2 years ago
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago