Alternatives and similar repositories for focs-notebooks

Users that are interested in focs-notebooks are comparing it to the libraries listed below

• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆11Updated 2 years ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 years ago
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 5 months ago
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆33Updated 3 months ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 6 years ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 3 months ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 4 years ago
• dbuenzli / rel
  Relational database programming for OCaml (unreleased)
  ☆40Updated last month
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 4 months ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• yomimono / oauth2_server
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆18Updated 3 years ago
• tarides / cactus
  A Btree library in OCaml
  ☆18Updated 2 years ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated 3 weeks ago
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated 5 months ago
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 3 years ago
• ocaml-doc / odoc-parser
  An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
  ☆16Updated last year
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆14Updated 3 years ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated 3 weeks ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 3 months ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• patricoferris / irmin-socket
  Some fun with creating little collaborative browser things...
  ☆11Updated 4 years ago
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆32Updated last year
• mirage / irmin-rs
  ☆16Updated 2 years ago