Alternatives and similar repositories for stella

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

• 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 / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 6 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 3 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 4 months ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 4 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 4 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated last year
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 8 years ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆21Updated 6 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 8 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆96Updated 7 years ago
• kristenkwong / hiphop-lang
  HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.
  ☆14Updated 4 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆17Updated 7 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated this week
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆29Updated 9 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago