ellieyhcheng / dice-vs-codeLinks
Dice Language Support for VS Code
☆10Updated 4 years ago
Alternatives and similar repositories for dice-vs-code
Users that are interested in dice-vs-code are comparing it to the libraries listed below
Sorting:
- Performant and safe knowledge compilation in rust☆27Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 2 months ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆20Updated 2 weeks ago
- ☆46Updated last week
- ☆21Updated 2 weeks ago
- Automatic theorem proving via natural language reasoning with LLMs☆16Updated 3 weeks ago
- EGraphs in OCaml☆65Updated last year
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆39Updated this week
- Formalizing convex polyhedra in Coq☆24Updated 10 months ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last week
- Separation Logic Proofs in Lean☆36Updated 2 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆47Updated this week
- PL conference deadline countdowns☆60Updated 2 months ago
- A Rocq version of the miniF2F dataset☆20Updated 3 weeks ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆60Updated this week
- ☆20Updated 3 weeks ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆16Updated 6 months ago
- Prototype code for some Julia-OCaml bindings☆15Updated 4 years ago
- tool for turning Lean proofs into Blender animations☆69Updated last month
- A Haskell probabilistic programming library.☆19Updated last month
- ☆31Updated last year
- Verifying encodings into propositional logic in Lean☆12Updated last year
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆68Updated 3 weeks ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Updated last year
- WIP collections library for Lean 4☆32Updated last month
- The PERPL Compiler☆13Updated last month
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago