Alternatives and similar repositories for iitm_ocaml_reading_group

Users that are interested in iitm_ocaml_reading_group are comparing it to the libraries listed below

• hardik118 / RepoToolFrtn
  ☆18Updated 4 months ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated last month
• askvortsov1 / hardcaml-mips
  ☆41Updated 3 years ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆20Updated 2 months ago
• ngernest / mica
  A PPX deriver that automates differential testing for OCaml modules
  ☆25Updated last year
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆26Updated last year
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆20Updated last year
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆40Updated last year
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆44Updated 2 years ago
• linoscope / caml8
  A CHIP8 emulator written in OCaml
  ☆25Updated 3 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated last year
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Updated 2 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆36Updated last month
• Arnhav-Datar / EffPPL
  Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
  ☆26Updated 4 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆51Updated last month
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 7 months ago
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated last year
• fpottier / baby
  A balanced binary search tree library for OCaml
  ☆21Updated last month
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆43Updated 2 weeks ago
• semgrep / little-learner-ocaml
  ☆14Updated 2 years ago
• tmcgilchrist / ocaml-debug-performance
  Notes on OCaml debugging and performance
  ☆16Updated last month
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Updated last year
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆29Updated 6 months ago
• ocaml-sf / learn-ocaml-corpus
  A corpus of automatically graded exercises to learn functional programming in OCaml.
  ☆31Updated last year
• Fizzixnerd / ocaml-living
  A safer FFI interface for OCaml
  ☆11Updated last year
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆27Updated 2 weeks ago
• codex-semantics-library / patricia-tree
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆16Updated 3 weeks ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆59Updated this week
• Firobe / nes-ml
  NES emulator in OCaml
  ☆43Updated 2 years ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 3 months ago