Alternatives and similar repositories for kravanenn

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

• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated 3 weeks ago
• ammkrn / nanoda
  A type checker for the Lean theorem prover
  ☆41Updated 4 years ago
• jmid / wasm-prop-tester
  A stack-driven generator of arbitrary WebAssembly programs
  ☆19Updated 3 years ago
• ecavallo / ptt
  Experimental type-checker for internally parametric type theory
  ☆32Updated 3 months ago
• janestreet / noise-wireguard-ocaml
  An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
  ☆27Updated 5 years 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
• janestreet / ppx_hash
  A ppx rewriter that generates hash functions from type expressions and definitions
  ☆16Updated last month
• janestreet / sexplib0
  Library containing the definition of S-expressions and some base converters
  ☆18Updated last month
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆47Updated 5 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 5 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated last month
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆17Updated 10 months ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 3 months ago
• dannywillems / dsubml
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Updated 8 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆28Updated 3 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆73Updated last month
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• jrk / symalg
  (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)
  ☆12Updated 13 years ago
• tarides / cactus
  A Btree library in OCaml
  ☆18Updated 2 years ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆42Updated last year
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 5 months ago
• jonsterling / coq-guarded-computational-type-theory
  ☆21Updated 7 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago