Alternatives and similar repositories for dice-vs-code:

Users that are interested in dice-vs-code are comparing it to the libraries listed below

• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 5 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated 2 weeks ago
• diprism / perpl
  The PERPL Compiler
  ☆13Updated last week
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• rocq-community / trocq
  A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
  ☆20Updated last month
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• LLM4Rocq / nlir
  Automatic theorem proving via natural language reasoning with LLMs
  ☆16Updated 2 weeks ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 10 months ago
• kovach / etch
  ☆17Updated 9 months ago
• leanprover-community / plausible
  ☆39Updated 2 weeks ago
• LaurentMazare / ocaml.jl
  Prototype code for some Julia-OCaml bindings
  ☆15Updated 4 years ago
• asolarlez / sketch-frontend
  ☆34Updated last week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆58Updated last week
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• agurfinkel / spacer-on-jupyter
  ☆17Updated last year
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆35Updated last week
• Tractables / Alea.jl
  ☆19Updated this week
• GoelandProver / Goeland
  A first-order concurrent automated theorem prover
  ☆16Updated 3 weeks ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆32Updated last week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆53Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Updated 11 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆57Updated last week
• smtcoq / sniper
  ☆36Updated this week
• david-christiansen / ssft24
  ☆16Updated 10 months ago
• rocq-community / rocq-lean-import
  ☆19Updated 2 weeks ago