ocamllabs / focs-notebooksLinks
Foundations of Computer Science notebooks
☆17Updated 2 months ago
Alternatives and similar repositories for focs-notebooks
Users that are interested in focs-notebooks are comparing it to the libraries listed below
Sorting:
- A traceable distributed computation framework☆22Updated 6 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 8 months ago
- Library for color and formatting in the terminal☆21Updated last week
- An OCaml extension for RISC-V☆16Updated 5 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- Algebraic structures in OCaml.☆25Updated last month
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 3 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Some fun with creating little collaborative browser things...☆11Updated 4 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- A Framework for building Batched Concurrent Services☆21Updated 7 months ago
- A platform-agnostic multi-level index☆33Updated 2 months ago
- Bindings to the Tracy profiler.☆29Updated 6 months ago
- Interactive memory profiler based on Memtrace☆33Updated last month
- A Btree library in OCaml☆18Updated 2 years ago
- Relational database programming for OCaml (unreleased)☆44Updated 4 months ago
- GADT-based field accessors and utilities☆17Updated last month
- A scheduler independent blocking mechanism☆19Updated last year
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated 2 years ago
- Getting started with ocaml-rs☆32Updated last year
- OpenSSL bindings to OCaml EIO☆20Updated last year
- Just In Time compiler for OCaml native toplevel☆59Updated last year
- A type-safe, stack-based functional programming language☆16Updated 10 months ago
- Pure OCaml implementation of libXdiff (Rabin's fingerprint)☆20Updated last year
- OCaml from the Very Beginning☆52Updated 3 months ago
- A set of tools to work with Gameboy stuff☆13Updated 3 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Updated last month
- The official LLVM OCaml binding but built using dune☆25Updated 10 months ago