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
- Path tracer live coded in stream☆19Updated 4 years ago
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- Arbitrary-precision decimal based on Zarith☆19Updated 2 weeks ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 7 months ago
- Foundations of Computer Science notebooks☆16Updated 10 months ago
- A platform-agnostic multi-level index☆33Updated 5 months ago
- S-expression pretty-printer☆21Updated 2 weeks ago
- A project which aim to help engineers to make proves easily☆14Updated 3 years ago
- OCaml bindings to kqueue☆21Updated last year
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- A Btree library in OCaml☆18Updated 2 years ago
- Library for color and formatting in the terminal☆21Updated 2 years ago
- Url safe slug generator for OCaml☆16Updated 4 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☆22Updated 2 weeks ago
- [WIP] Pure OCaml bindings to the X11 protocol☆24Updated 5 months ago
- A safer FFI interface for OCaml☆11Updated last year
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Updated last year
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 3 years ago
- OCaml to Golang compiler☆38Updated 4 years ago
- A frontend for the 1111 stable diffusion API☆17Updated last week
- OCaml bindings to the Spotify web API☆17Updated 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
- Menhir polishing toolbox, for experienced druids☆33Updated this week
- unloading modules with ocaml native☆16Updated 4 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- Relational database programming for OCaml (unreleased)☆40Updated 3 weeks ago