ellieyhcheng / dice-vs-codeLinks
Dice Language Support for VS Code
☆10Updated 5 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 weeks ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆85Updated 8 months ago
- Sources of the EuroProofNet web site.☆13Updated last week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- The PERPL Compiler☆14Updated last month
- ☆32Updated 2 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated 2 weeks ago
- Automatic theorem proving via natural language reasoning with LLMs☆18Updated 6 months ago
- EGraphs in OCaml☆77Updated last year
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆45Updated this week
- Very controlled natural language tactics for Lean☆64Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Type-and-example-driven program synthesis for functional programming languages☆27Updated 6 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated 11 months ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- ☆24Updated last week
- ☆71Updated last week
- First-order automated theorem prover based on the tableau method☆17Updated this week
- A synchronous language with ODEs☆56Updated 2 months ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- ☆16Updated 4 years ago
- Prototype code for some Julia-OCaml bindings☆16Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Updated last year
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx]☆26Updated last month
- Mirror of ocaml-forester☆45Updated last year
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆21Updated last year
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆43Updated last year