Alternatives and similar repositories for cdf-sem-meca

Users that are interested in cdf-sem-meca are comparing it to the libraries listed below

• francoisthire / bam
  A PBT framework
  ☆9Updated last month
• d-plaindoux / transept
  An OCaml modular and generalised parser combinator library.
  ☆21Updated 3 years ago
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆15Updated 2 years ago
• backtracking / ocaml-bazaar
  ☆14Updated last week
• MisterDA / ocamlwalk
  The caml walks, OCaml runs
  ☆19Updated last year
• backtracking / program-proofs-with-why3
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆16Updated 2 years ago
• CatalaLang / dates-calc
  Formally specified computations on dates
  ☆12Updated last month
• strymonas / strymonas-ocaml
  ☆31Updated 3 months ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆42Updated 11 months ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆16Updated 6 months ago
• marigold-dev / breathalyzer
  A simple test framework for Ligo Lang
  ☆13Updated last year
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 2 months ago
• yforster / coqtheorem
  A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
  ☆16Updated 6 years ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 8 months ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆14Updated 6 months ago
• mirage / repr
  ☆31Updated last year
• bvaugon / ocamlclean
  OCaml Bytecode Cleaner
  ☆14Updated 3 years ago
• rocq-prover / ltac2
  A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
  ☆31Updated 6 years ago
• ocamllibs / refl
  OCaml PPX deriver for reflection
  ☆52Updated 2 years ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated last year
• funkywork / yourbones
  A companion library for writing applications on Tezos (in OCaml)
  ☆17Updated last year
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 2 years ago
• let-def / lrgrep-ocaml
  Applying LRGrep to OCaml frontend
  ☆12Updated 2 months ago
• logsem / cerise
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆22Updated this week
• yallop / ocaml-charset
  Fast char sets
  ☆19Updated last month
• Firobe / 6502-ml
  6502 chip simulator in OCaml
  ☆13Updated last year
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆27Updated 3 years ago
• craigfe / generalised-signatures
  ☆12Updated 4 years ago
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 3 years ago