ocamllabs / focs-notebooksLinks
Foundations of Computer Science notebooks
☆16Updated 11 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:
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- A traceable distributed computation framework☆22Updated 5 years ago
- Library for color and formatting in the terminal☆21Updated 2 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- Compiler Hacking Sessions Information☆11Updated 2 years ago
- Algebraic structures in OCaml.☆25Updated 6 months ago
- GADT-based field accessors and utilities☆17Updated 3 weeks ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 5 months ago
- Some fun with creating little collaborative browser things...☆11Updated 4 years ago
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- A frontend for the 1111 stable diffusion API☆17Updated last week
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated 2 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- Raw bindings to platform APIs for OCaml☆16Updated last year
- ☆16Updated 2 years ago
- A Framework for building Batched Concurrent Services☆21Updated 4 months ago
- A platform-agnostic multi-level index☆33Updated this week
- XLA (Accelerated Linear Algebra) bindings for OCaml☆33Updated 3 months ago
- RPC client/server for Irmin☆19Updated 4 years ago
- A safer FFI interface for OCaml☆11Updated last year
- A Btree library in OCaml☆18Updated 2 years ago
- OCaml to Golang compiler☆40Updated 4 years ago
- Getting started with ocaml-rs☆32Updated last year
- [WIP] Pure OCaml bindings to the X11 protocol☆24Updated last week
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 3 years ago
- Test framework for OCaml☆27Updated last week
- Bindings to the Tracy profiler.☆28Updated 3 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Updated last year