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
  ☆17Updated 3 weeks ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆15Updated 2 months ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆17Updated last week
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 6 months ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Updated 4 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago
• Lysxia / coq-ceres
  Coq library for serialization to S-expressions
  ☆19Updated 2 years ago
• andrejbauer / faux-type-theory
  ☆40Updated last week
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 8 months ago
• askvortsov1 / hardcaml-mips
  ☆37Updated 3 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• 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
  ☆39Updated 9 months ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆25Updated last year
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 4 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 4 months ago
• braibant / coq-tutorial-ml-tactics
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Updated 8 years ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆25Updated 7 months ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• 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
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated last year
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Updated last year
• 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…
  ☆42Updated 5 months ago
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated 2 months ago
• fpottier / baby
  A balanced binary search tree library for OCaml
  ☆21Updated 9 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated last month