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 8 months ago
- Url safe slug generator for OCaml☆16Updated 4 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Path tracer live coded in stream☆19Updated 5 years ago
- An OCaml library for describing and simulating synchronous finite state machines")☆33Updated 4 years ago
- Printf-style format-strings for user-defined string conversion☆23Updated this week
- Arbitrary-precision decimal based on Zarith☆19Updated last month
- unloading modules with ocaml native☆16Updated 4 years ago
- A Btree library in OCaml☆18Updated 2 years ago
- OCaml to Golang compiler☆40Updated 4 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- A platform-agnostic multi-level index☆33Updated last month
- Relational database programming for OCaml (unreleased)☆44Updated 3 months ago
- Library for color and formatting in the terminal☆21Updated 3 years ago
- Higher kinded polymorphism in SML☆15Updated 5 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 9 months ago
- A basic snake game with js_of_ocaml.☆12Updated 8 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated 2 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Updated last year
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- A project which aim to help engineers to make proves easily☆14Updated 3 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated 2 weeks ago
- A block breaking game☆11Updated 3 years ago
- A Framework for building Batched Concurrent Services☆21Updated 5 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- An easy interface on top of the Jsonm library.☆42Updated 6 months ago
- Read and write FAT format filesystems from OCaml☆25Updated 5 months ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 5 years ago