diprism / perplLinks
The PERPL Compiler
☆13Updated 2 weeks ago
Alternatives and similar repositories for perpl
Users that are interested in perpl are comparing it to the libraries listed below
Sorting:
- Performant and safe knowledge compilation in rust☆31Updated 4 months ago
- ☆20Updated 5 months ago
- PL conference deadline countdowns☆62Updated last month
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- ☆53Updated last month
- ☆22Updated last week
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆69Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- ☆98Updated last week
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆10Updated 7 months ago
- ☆63Updated 3 weeks ago
- The Termination Problem Database☆30Updated last month
- ☆14Updated 2 months ago
- A Haskell probabilistic programming library.☆20Updated last month
- EGraphs in OCaml☆75Updated last year
- Separation Logic Proofs in Lean☆43Updated 6 months ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Updated last year
- An automated deductive program verifier based on concurrent separation logic☆20Updated last month
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆28Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆41Updated last year
- ☆56Updated last month
- ☆24Updated 2 weeks ago
- ☆39Updated last week