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☆31Updated 3 months ago
- EGraphs in OCaml☆74Updated last year
- ☆31Updated 2 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 6 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 last week
- 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
- Sources of the EuroProofNet web site.☆13Updated this week
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated this week
- ☆61Updated this week
- Verifying encodings into propositional logic in Lean☆12Updated 2 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
- Automatic theorem proving via natural language reasoning with LLMs☆17Updated 4 months ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx]☆26Updated last week
- Prototype code for some Julia-OCaml bindings☆16Updated 4 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆70Updated this week
- ☆16Updated 4 years ago
- ☆24Updated 3 weeks ago
- Very controlled natural language tactics for Lean☆64Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆38Updated this week
- The PERPL Compiler☆13Updated 2 weeks ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆14Updated 2 weeks ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Type-and-example-driven program synthesis for functional programming languages☆23Updated 6 years ago
- Coq library on rewriting theory and termination☆36Updated last month
- A Haskell probabilistic programming library.☆19Updated last month
- A verified Implementation of a mini prolog☆15Updated 2 years ago
- tool for turning Lean proofs into Blender animations☆75Updated 3 weeks ago
- Separation Logic Proofs in Lean☆41Updated 5 months ago