ellieyhcheng / dice-vs-code
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
- Performant and safe knowledge compilation in rust☆27Updated 6 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last month
- ☆16Updated 4 years ago
- ☆42Updated 3 weeks ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆20Updated last week
- A Haskell probabilistic programming library.☆19Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- ☆21Updated this week
- EGraphs in OCaml☆64Updated last year
- A constraint solver built from scratch in OCaml☆11Updated 3 years ago
- Very controlled natural language tactics for Lean☆62Updated last year
- Formalizing convex polyhedra in Coq☆24Updated 9 months ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Updated last year
- Verifying encodings into propositional logic in Lean☆12Updated last year
- Automatic theorem proving via natural language reasoning with LLMs☆16Updated last month
- Formalization of the basic actuarial mathematics using Coq☆21Updated 4 months ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- A first-order concurrent automated theorem prover☆16Updated last month
- ☆21Updated last year
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆13Updated this week
- A Rocq version of the miniF2F dataset☆17Updated 2 weeks ago
- Type-and-example-driven program synthesis for functional programming languages☆22Updated 5 years ago
- The formal proof of the Odd Order Theorem☆30Updated last week
- Prototype code for some Julia-OCaml bindings☆15Updated 4 years ago
- Conservative floating point interval arithmetic in Lean☆16Updated 3 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Implementation of higher-order logic in Python☆64Updated 2 years ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆24Updated 7 months ago
- Generate HTML documentation for mathlib and Lean☆21Updated 6 months ago
- ☆17Updated 10 months ago