Alternatives and similar repositories for stella

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

• 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 …
  ☆25Updated 3 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 6 years ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 4 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 7 months ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 8 years ago
• google / tmppy
  TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.
  ☆34Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 6 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• firefly-cpp / uARMSolver
  universal Association Rule Mining Solver
  ☆15Updated last month
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 4 years ago
• mzucker / lsystem_optimization
  Socially isolating through obsessive micro-optimization.
  ☆13Updated 4 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• riswords / quiche
  ☆24Updated 2 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
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• rewriting / tom
  ☆34Updated 5 years ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆23Updated last month
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 5 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated last week
• JUrban / MPTP2
  ☆19Updated 8 years ago
• uwplse / stng
  compiler for fortran stencils using verified lifting,
  ☆18Updated 3 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆38Updated 11 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated last month