alcides / aeonLinks
Aeon programming language
☆21Updated last week
Alternatives and similar repositories for aeon
Users that are interested in aeon are comparing it to the libraries listed below
Sorting:
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆28Updated 2 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- library learning w egraphs☆21Updated 2 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆19Updated 2 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 8 months ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- EGraphs in OCaml☆75Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 3 weeks ago
- ☆17Updated 6 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 3 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆113Updated 4 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Updated last year
- ☆19Updated last year
- The PERPL Compiler☆13Updated last week
- Reference compiler for c0☆37Updated 4 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- Genetic program repair using GHC☆30Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last year
- Partition refinement☆16Updated 2 years ago
- The Next Generation of Compositional Programming☆54Updated last month
- Interactive visualizer for e-graphs☆24Updated last week
- Python bindings for the Coq interactive proof assistant☆56Updated 3 years ago
- Gallina to Bedrock2 compilation toolkit☆61Updated 2 weeks ago
- Hoare Type Theory☆81Updated 4 months ago
- Slog 1.0☆44Updated last year
- This package provides an interface and foundation for verified SAT reasoning☆55Updated last year