Brainfuck formalized in Coq
☆31Mar 29, 2022Updated 3 years ago
Alternatives and similar repositories for Brainfuck
Users that are interested in Brainfuck are comparing it to the libraries listed below
Sorting:
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 2 months ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Js_of_ocaml bindings for MithrilJS☆19Jan 23, 2021Updated 5 years ago
- Runtime Extended Inference for json data.☆22Jan 4, 2023Updated 3 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- ☆14Dec 27, 2023Updated 2 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Aug 15, 2023Updated 2 years ago
- Literals for Zarith's arbitrary-precision integers and rationals☆12Aug 18, 2022Updated 3 years ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 4 years ago
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated last month
- ☆17Mar 2, 2026Updated last week
- ☆15Mar 26, 2024Updated last year
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Sep 23, 2021Updated 4 years ago
- OCaml bindings for the Xlib library.☆17Dec 2, 2020Updated 5 years ago
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- A "implementation" of Girard's paradox in OCaml☆110Apr 7, 2015Updated 10 years ago
- A set of tools to work with Gameboy stuff☆13Dec 4, 2022Updated 3 years ago
- Interacting with cron from OCaml☆14Apr 16, 2022Updated 3 years ago
- A gRPC implementation written in pure OCaml/Reason☆16Apr 12, 2019Updated 6 years ago
- Binding OCaml for NodeJS (main functions) using gen_js_api☆19Aug 29, 2016Updated 9 years ago
- A generative datatype toolkit for OCaml centric workflows☆17Jun 24, 2025Updated 8 months ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- A simple 2d exploration game written in OCaml☆16Oct 2, 2018Updated 7 years ago
- Lookup and load installed OCaml modules☆17Jul 29, 2025Updated 7 months ago
- Digital Audio Funstation☆14Feb 28, 2026Updated last week
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Moved to https://git.jeffas.net☆16Apr 8, 2019Updated 6 years ago
- Open records implemented using map over universal type☆34Mar 30, 2020Updated 5 years ago
- A platform agnostic library for P2P communications using UDP and Bin_prot☆23Jul 11, 2022Updated 3 years ago
- OCaml package to produce JUnit xml reports☆19Jan 2, 2026Updated 2 months ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 4 years ago
- ppx_mysql☆32Aug 29, 2025Updated 6 months ago