ci-group / revolve

Related projects: ⓘ

• alife-data-standards / alife-data-standards
  Repository to host data standards for the ALIFE community.
  ☆15Updated last year
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆20Updated 2 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆27Updated 2 months ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆61Updated last year
• ericmedvet / 2dhmsr
  Java framework for experimenting with a 2-D version of the voxel-based soft robots.
  ☆17Updated last year
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆59Updated 6 months ago
• FragileTech / plangym
  Library that provides environments for planning problems
  ☆13Updated 2 weeks ago
• DennisGross / COOL-MC
  The interface between Model Checking and Reinforcement Learning.
  ☆13Updated this week
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆74Updated 2 months ago
• d9w / evolution
  Introduction to Evolutionary Computation class
  ☆31Updated 4 months ago
• CatherineWong / dreamcoder
  ☆44Updated 2 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆16Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated last year
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆35Updated 3 weeks ago
• google / trajax
  ☆192Updated last year
• google-research / crossbeam
  ☆41Updated last year
• abcorrea / powerlifted
  Powerlifted Planner
  ☆25Updated last month
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 8 months ago
• Farama-Foundation / Jumpy
  On-the-fly conversions between Jax and NumPy tensors
  ☆46Updated last year
• 51alg / TerpreT
  ☆42Updated 7 years ago
• APLA-Toolbox / PythonPDDL
  🧭🔍 A PDDL Planner in Python partially wrapping PDDL.jl using JuliaPy
  ☆31Updated last month
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 7 months ago
• alcides / GeneticEngine
  A Hybrid between Grammar-Guided and Strongly-Typed Genetic Programming in Python
  ☆33Updated last week
• sztal / pybdm
  Python implementation of block decomposition method for approximating algorithmic complexity
  ☆34Updated last month
• simondlevy / neat-gym
  Neuro-evolution for OpenAI Gym environments
  ☆55Updated 3 years ago
• coinse / pyggi
  Python General Framework for Genetic Improvement [Version 2]
  ☆28Updated 9 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 2 months ago
• EC-KitY / EC-KitY
  EC-KitY is a scikit-learn-compatible Python tool kit for doing evolutionary computation.
  ☆88Updated 2 weeks ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated last year
• nikihowe / myriad
  Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.
  ☆58Updated last year