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☆30Updated 2 months ago
- EGraphs in OCaml☆66Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 5 months ago
- Automatic theorem proving via natural language reasoning with LLMs☆16Updated 3 months ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆43Updated this week
- Sources of the EuroProofNet web site.☆13Updated this week
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated 3 months ago
- ☆53Updated 2 weeks ago
- ☆31Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- ☆21Updated this week
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆24Updated last week
- Type-and-example-driven program synthesis for functional programming languages☆23Updated 6 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated 8 months ago
- A constraint solver built from scratch in OCaml☆11Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- ☆24Updated last week
- The PERPL Compiler☆13Updated 4 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆20Updated 2 months ago
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Updated last year
- ☆21Updated last year
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆68Updated 2 weeks ago
- A synchronous language with ODEs☆53Updated this week
- Data Parallel Programming☆22Updated last year