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

• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆15Updated last month
• kayceesrk / cs3100_f19
  CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
  ☆19Updated 2 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆37Updated 7 months ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆25Updated last year
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆12Updated 4 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• askvortsov1 / hardcaml-mips
  ☆37Updated 3 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆66Updated 3 months ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆25Updated 6 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 5 months ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆42Updated last week
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 2 months ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆14Updated last week
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 6 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 6 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆47Updated 3 weeks ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• rocq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 9 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆41Updated 4 months ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• codex-semantics-library / patricia-tree
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆14Updated last month
• braibant / coq-tutorial-ml-tactics
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Updated 8 years ago
• hipsleek / Heifer
  Verifier for effectful, higher-order programs
  ☆17Updated this week
• hide-kawabata / traf
  A proof tree viewer that works with Coq through Proof General
  ☆28Updated 4 years ago