Alternatives and similar repositories for aeon:

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

• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆32Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆41Updated 10 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• LASER-UMASS / TacTok
  The TacTok automated Coq proof script synthesis tool
  ☆17Updated last year
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 2 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆28Updated 3 weeks ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆17Updated 3 weeks ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated 11 months ago
• ngernest / pbt-bibliography
  A collaborative bibliography of papers related to property-based testing
  ☆13Updated last week
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 11 months ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 5 months ago
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated last year
• CatarinaGamboa / liquidjava
  ☆37Updated last week
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• david-christiansen / bob24
  ☆14Updated last year
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated this week
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆53Updated 2 years ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆29Updated 6 months ago
• arsalan0c / dafny-of-python
  A tool for deductive verification of Python programs based on Dafny
  ☆19Updated 3 years ago
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆22Updated this week
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated 3 weeks ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year