reynir / BrainfuckView external linksLinks
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:
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated last month
- The Ensemble distributed communications toolkit☆12Jul 26, 2020Updated 5 years ago
- The caml walks, OCaml runs☆20Oct 11, 2023Updated 2 years ago
- Js_of_ocaml bindings for MithrilJS☆18Jan 23, 2021Updated 5 years ago
- Runtime Extended Inference for json data.☆22Jan 4, 2023Updated 3 years ago
- ☆14Dec 27, 2023Updated 2 years ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 4 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Literals for Zarith's arbitrary-precision integers and rationals☆12Aug 18, 2022Updated 3 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Aug 15, 2023Updated 2 years ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated 3 weeks ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Sep 23, 2021Updated 4 years ago
- Format string experimentations