Code using GADT
☆39Apr 5, 2021Updated 4 years ago
Alternatives and similar repositories for jaw
Users that are interested in jaw are comparing it to the libraries listed below
Sorting:
- Software construction and deployment kit☆38Feb 25, 2026Updated 3 weeks ago
- A set of tools to work with Gameboy stuff☆13Dec 4, 2022Updated 3 years ago
- Functional kernel written in OCaml.☆36Nov 14, 2013Updated 12 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 3 years ago
- Notes and findings from our OCaml benchmarking adventures☆49Oct 6, 2022Updated 3 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 11 months ago
- A simple implementation of Discrete Interval Encoding Trees☆28Apr 16, 2022Updated 3 years ago
- Canopy blog data that powers ICFP liveblog☆16Nov 2, 2016Updated 9 years ago
- An OCaml toplevel (REPL) upgrade☆92Jul 29, 2025Updated 7 months ago
- Performance Application Programming Interface for OCaml☆15Oct 25, 2022Updated 3 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17May 5, 2021Updated 4 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago
- a small, simple block-backed key-value store for MirageOS☆31Oct 27, 2025Updated 4 months ago
- Detect root CA certificates from the operating system☆14Nov 24, 2025Updated 3 months ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Aug 27, 2018Updated 7 years ago
- CI in tty☆14Jun 26, 2023Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 8 years ago
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 2 months ago
- s-expression codecs and updates for OCaml☆11Mar 23, 2017Updated 8 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 9 years ago
- A tool to create PDFs that are also OCaml bytecodes☆42Sep 19, 2023Updated 2 years ago
- Formatted url☆50Jan 20, 2025Updated last year
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆71Feb 7, 2026Updated last month
- telnet protocol in OCaml☆14Nov 15, 2016Updated 9 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- An OCaml mutation tester☆67Nov 24, 2025Updated 3 months ago
- Generic Programming Library for OCaml☆34Mar 29, 2017Updated 8 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- CommonMark parser and renderer for OCaml☆53Feb 24, 2026Updated 3 weeks ago
- Helper library for gathering system configuration☆19Sep 5, 2019Updated 6 years ago
- easy-to-use wrapper for OCaml's Dynlink☆16Jan 9, 2017Updated 9 years ago
- (unreleased) Data validation with first-class and first-order labels in OCaml☆30Jun 29, 2018Updated 7 years ago
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 4 years ago
- An OCaml library for describing Protobuf messages☆30Feb 4, 2021Updated 5 years ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago