alcides / aeonLinks
Aeon programming language
☆24Updated last month
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☆35Updated last week
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆15Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated 3 weeks ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated last week
- The TacTok automated Coq proof script synthesis tool☆17Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit☆65Updated this week
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- library learning w egraphs☆21Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 3 months ago
- Implementation of the Delta Language☆11Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Python bindings for the Coq interactive proof assistant☆57Updated 4 years ago
- EGraphs in OCaml☆78Updated last year
- ☆52Updated this week
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Updated 3 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆118Updated 7 months ago
- Demo for dependent types + runtime code generation☆72Updated 10 months ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 3 weeks ago
- Course on Metaprogramming☆74Updated 6 months ago
- The Steel separation logic library for F*☆36Updated last month
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆40Updated last month
- An LLM-first programming language.☆32Updated 3 months ago
- Python client for coq-lsp☆44Updated last month
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆120Updated last month
- A toolkit for enforcing logical specifications on neural networks☆121Updated this week
- Lean course materials for Brown CS 22, Spring 2023☆20Updated 2 years ago
- ☆46Updated 4 months ago