Alternatives and similar repositories for focs-notebooks

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

• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 years ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 3 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• talex5 / mirage-trace-viewer
  GTK and HTML viewers for mirage-profile trace files
  ☆20Updated 2 years ago
• janestreet / tracing
  Tracing library
  ☆33Updated last month
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆11Updated 2 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• ocurrent / ocurrent-deployer
  A pipeline that deploys unikernels and other services
  ☆23Updated 2 weeks ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated 11 months ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated last month
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated 3 months ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated last month
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 4 months ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆58Updated last year
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆31Updated 10 months ago
• LaurentMazare / ocaml-wasmtime
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35Updated 3 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆20Updated last month
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 7 months ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 5 years ago
• patricoferris / jsoo-todo-mvc
  A comparison of Js_of_ocaml libraries for building reactive UIs
  ☆11Updated 3 years ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆36Updated last month
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 years ago
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 4 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆36Updated 7 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago