Alternatives and similar repositories for stella

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

• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated last month
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• ARM-software / Shackleton-Framework
  A generic genetic programming framework that aims to make genetic programming easier for a myriad of uses. Currently, the main target is …
  ☆24Updated 3 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 10 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated last year
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 3 years ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆24Updated 9 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• riswords / quiche
  ☆24Updated 2 years ago
• uwplse / stng
  compiler for fortran stencils using verified lifting,
  ☆17Updated 3 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆72Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 11 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 3 months ago