alcides / aeonLinks
Aeon programming language
☆23Updated 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☆30Updated 3 weeks ago
- Pedagogical first-order prover in Python☆76Updated 5 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- 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
- ☆69Updated last week
- ☆19Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆78Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- A monadic library for symbolic evaluation☆71Updated 3 months ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- An overview of property-based testing functionality☆74Updated 5 months ago
- Genetic program repair using GHC☆31Updated last year
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆42Updated last week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- EGraphs in OCaml☆77Updated last year
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 8 months ago
- maze game encoded in Lean 4 syntax☆64Updated 4 months ago
- A summary of my activities during the past four years☆31Updated last year
- ☆45Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- Experiments with SAT solvers with proofs in Lean 4☆62Updated last year
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 10 months ago
- A tool for deductive verification of Python programs based on Dafny☆24Updated 4 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆13Updated this week
- LLVM support for the lean theorem prover☆52Updated 4 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆112Updated 5 months ago