MassD / pearlsView external linksLinks
☆28Jan 16, 2015Updated 11 years ago
Alternatives and similar repositories for pearls
Users that are interested in pearls are comparing it to the libraries listed below
Sorting:
- EBA is a static bug finder for C.☆15Jun 22, 2020Updated 5 years ago
- Data structures and algorithms in OCaml☆54Jan 13, 2026Updated last month
- F# CSV type provider ported to OCaml☆17Nov 23, 2018Updated 7 years ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Jun 11, 2016Updated 9 years ago
- Find first derivatives of functions automagically☆10Feb 21, 2017Updated 8 years ago
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated 3 weeks ago
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated last year
- ☆13Sep 15, 2022Updated 3 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Sep 4, 2024Updated last year
- Elliptic Curves Cryptography for OCaml☆12Oct 26, 2019Updated 6 years ago
- Profiling library☆15Jan 15, 2026Updated 3 weeks ago
- The xtdb "Space Adventure" tutorial☆13May 22, 2024Updated last year
- Fast implementation of queue in OCaml☆51Feb 26, 2024Updated last year
- Small example MirageOS unikernels.☆15Jun 14, 2019Updated 6 years ago
- Xen core platform libraries for MirageOS☆18Feb 5, 2025Updated last year
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- ☆14Dec 28, 2021Updated 4 years ago
- Ocamldap is an implementation of the Light Weight Directory Access Protocol☆15Dec 8, 2025Updated 2 months ago
- OCaml based version of space-invaders☆14Aug 27, 2015Updated 10 years ago
- WIP Handbook for MirageOS☆14Mar 15, 2018Updated 7 years ago
- CI in tty☆14Jun 26, 2023Updated 2 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Sep 7, 2016Updated 9 years ago
- Examples and Exercises for the book "More OCaml"☆66Jul 10, 2022Updated 3 years ago
- a book about ocaml☆188Apr 24, 2017Updated 8 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 8 years ago
- OCaml library to work with colors on the web☆21Nov 22, 2024Updated last year
- telnet protocol in OCaml☆14Nov 15, 2016Updated 9 years ago
- Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components☆18Jan 30, 2026Updated 2 weeks ago
- F* running in the browser☆21Aug 15, 2019Updated 6 years ago
- Lox language implemented in OCaml☆14Oct 6, 2020Updated 5 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Mar 14, 2016Updated 9 years ago
- Detours from binaries method entry/exit point to Python scripts (PIN, CPython API)☆31Mar 13, 2013Updated 12 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- A sample syntax extension using OCaml's new extension points API.☆25Jul 5, 2024Updated last year
- Powerful monadic parser combinator in Clojure (Haskell attoparsec's port)☆33Mar 27, 2015Updated 10 years ago