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 6 months ago
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- Path tracer live coded in stream☆19Updated 5 years ago
- Library for color and formatting in the terminal☆21Updated 2 years ago
- [WIP] Pure OCaml bindings to the X11 protocol☆24Updated 6 months ago
- OCaml to Golang compiler☆39Updated 4 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 7 months ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Updated last year
- LablGL: an openGL interface for OCaml☆23Updated last year
- A traceable distributed computation framework☆22Updated 5 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- Foundations of Computer Science notebooks☆16Updated 11 months ago
- A platform-agnostic multi-level index☆33Updated 5 months ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- A Btree library in OCaml☆18Updated 2 years ago
- Relational database programming for OCaml (unreleased)☆40Updated last month
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- unloading modules with ocaml native☆16Updated 4 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- A safer FFI interface for OCaml☆11Updated last year
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Url safe slug generator for OCaml☆16Updated 4 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- S-expression pretty-printer☆21Updated last month