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 3 weeks ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 3 months ago
- Automatic theorem proving via natural language reasoning with LLMs☆16Updated last month
- ☆46Updated 3 weeks ago
- The PERPL Compiler☆13Updated last month
- A Haskell probabilistic programming library.☆19Updated last month
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆41Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆21Updated this week
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆48Updated last year
- A Rocq version of the miniF2F dataset☆20Updated last month
- Miking - the meta viking: a meta-language system for creating embedded languages☆53Updated 3 weeks ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆58Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆62Updated 2 weeks ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- ☆31Updated last year
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Updated last year
- ☆16Updated 4 years ago
- ☆21Updated this week
- ☆18Updated 3 weeks ago
- The formal proof of the Odd Order Theorem☆31Updated last week
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- ☆20Updated last week
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- A first-order concurrent automated theorem prover☆18Updated last week
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆14Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Collection of Automated Reasoners☆30Updated last month
- Separation Logic Proofs in Lean☆36Updated 3 months ago