alcides / aeonLinks
Aeon programming language
☆25Updated last week
Alternatives and similar repositories for aeon
Users that are interested in aeon are comparing it to the libraries listed below
Sorting:
- Pedagogical first-order prover in Python☆80Updated 7 months ago
- Language based on Rewriting Logic☆158Updated last week
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Updated 2 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated last month
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆128Updated last week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆120Updated 8 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- 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 this week
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- A toolkit for enforcing logical specifications on neural networks☆121Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- Slog 1.0☆46Updated last year
- Straightforward unification in Python that's extensible via generic functions.☆53Updated 3 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆82Updated this week
- EGraphs in OCaml☆80Updated 2 years ago
- A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.☆90Updated this week
- Implementation of the Delta Language☆13Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Updated 3 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Updated last year
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆52Updated last week
- Reference compiler for c0☆39Updated last month
- ☆134Updated this week
- ☆44Updated 3 weeks ago
- A first-order concurrent automated theorem prover☆23Updated 5 months ago
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- ☆19Updated last year