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
  ☆20Updated last week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆20Updated 11 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• TiarkRompf / reachability
  ☆51Updated 4 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 7 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 10 months ago
• 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…
  ☆36Updated 3 weeks ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆28Updated 2 months ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated 3 weeks ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated this week
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆57Updated last year
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated 3 weeks ago
• CatarinaGamboa / liquidjava
  ☆38Updated 2 months ago
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆15Updated 7 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• siddhartha-gadgil / proofs-and-programs-2023
  Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
  ☆9Updated last year
• CertiGraph / CertiGraph
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆18Updated last month
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆71Updated 2 weeks ago
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆16Updated 3 years ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆106Updated 2 weeks ago