Alternatives and similar repositories for aeon

Users that are interested in aeon are comparing it to the libraries listed below

• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆25Updated 3 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• senkuuuuu / Amadeus
  A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…
  ☆18Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆84Updated last month
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆26Updated last week
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆37Updated last month
• CatarinaGamboa / liquidjava
  ☆44Updated last month
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆20Updated 3 years ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 3 months ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 6 months ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆74Updated last month
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated last year
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆38Updated 2 months ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 4 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 2 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated 5 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆87Updated this week
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆133Updated last month
• arsalan0c / dafny-of-python
  A tool for deductive verification of Python programs based on Dafny
  ☆23Updated 4 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆54Updated 5 years ago