linoscope / okasaki-book-ocamlLinks
Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
☆12Updated 4 years ago
Alternatives and similar repositories for okasaki-book-ocaml
Users that are interested in okasaki-book-ocaml are comparing it to the libraries listed below
Sorting:
- A type-safe, stack-based functional programming language☆16Updated 9 months ago
- Some fun with creating little collaborative browser things...☆11Updated 4 years ago
- Printf-style format-strings for user-defined string conversion☆23Updated 2 weeks ago
- A Framework for building Batched Concurrent Services☆21Updated 6 months ago
- A project which aim to help engineers to make proves easily☆14Updated 3 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 5 years ago
- Path tracer live coded in stream☆19Updated 5 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Updated last year
- unloading modules with ocaml native☆16Updated 4 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- An OCaml extension for RISC-V☆16Updated 5 years ago
- Arbitrary-precision decimal based on Zarith☆19Updated 2 weeks ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- Url safe slug generator for OCaml☆16Updated 4 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated last year
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- A platform-agnostic multi-level index☆33Updated 2 months ago
- Js_of_ocaml bindings for the p5.js library☆11Updated last year
- An OCaml library for describing and simulating synchronous finite state machines")☆33Updated 4 years ago
- Library containing the definition of S-expressions and some base converters☆19Updated 2 weeks ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 10 months ago
- A high-performance server for Irmin☆24Updated 3 years ago
- Relational database programming for OCaml (unreleased)☆44Updated 4 months ago
- A basic snake game with js_of_ocaml.☆12Updated 8 years ago
- A set of tools to work with Gameboy stuff☆13Updated 3 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated 9 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago