formal-land / coq-bonsaiView external linksLinks
🌳 Generate a fresh bonsai in your terminal
☆30Oct 4, 2021Updated 4 years ago
Alternatives and similar repositories for coq-bonsai
Users that are interested in coq-bonsai are comparing it to the libraries listed below
Sorting:
- Lower-Kinded Optics for OCaml☆25Mar 16, 2025Updated 11 months ago
- Moved to https://git.jeffas.net☆15Apr 8, 2019Updated 6 years ago
- A bibtex file parser☆21Feb 11, 2024Updated 2 years ago
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated last year
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 3 years ago
- Library for tokenizing code with TextMate grammars☆12Jan 4, 2024Updated 2 years ago
- Exploring the corners of OCaml type system☆18Jan 26, 2026Updated 3 weeks ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Oct 19, 2023Updated 2 years ago
- ☆14Nov 17, 2025Updated 3 months ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 4 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
- Reflect the essence of OCaml types as values☆14Dec 12, 2024Updated last year
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated last month
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- ☆19Feb 10, 2026Updated last week
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Jul 25, 2023Updated 2 years ago
- Parsing of the Content-Type header in pure OCaml☆19Nov 24, 2020Updated 5 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Kohai is a very simple (but opinionated) timetracker for my personal usage☆13Oct 28, 2025Updated 3 months ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆17Nov 5, 2023Updated 2 years ago
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- A pipeline that deploys unikernels and other services☆23Jul 25, 2025Updated 6 months ago
- experiments on distributed unikernels☆16Dec 15, 2024Updated last year
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- my own standard library for OCaml for Js ecosystem, because it's fun to reinvent the wheel☆22May 24, 2023Updated 2 years ago
- An opiniated file-system for MirageOS☆26May 31, 2025Updated 8 months ago
- ZIP archive and deflate codec for OCaml☆24Jan 2, 2026Updated last month
- A planet (feed aggregator) for OCaml.☆27Nov 8, 2024Updated last year
- An implementation of binary session types in OCaml☆38Jun 3, 2019Updated 6 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 3 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 2 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 8 months ago
- A random generator of Lua programs☆12Nov 1, 2021Updated 4 years ago
- A set of tools to work with Gameboy stuff☆13Dec 4, 2022Updated 3 years ago
- Declarative command-line parsing for OCaml☆17Feb 1, 2026Updated 2 weeks ago