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 / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆51Updated 2 years ago
• mzucker / lsystem_optimization
  Socially isolating through obsessive micro-optimization.
  ☆13Updated 3 years ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 3 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 11 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated last month
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆17Updated 6 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 11 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆66Updated last year
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• riswords / quiche
  ☆23Updated 2 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 4 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago