kkrawiec / swim

Related projects ⓘ

Alternatives and complementary repositories for swim

• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 2 years ago
• flexgp / efs
  Evolutionary feature synthesis
  ☆17Updated 9 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆56Updated 3 months ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 6 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆24Updated 11 months ago
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 3 years ago
• flexgp / flexgp
  FlexGP: Flexible ML with Genetic Programming
  ☆18Updated 9 years ago
• google-research / crossbeam
  ☆43Updated last year
• lacava / ellen
  linear genetic programming system for symbolic regression and classification.
  ☆35Updated 7 years ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 5 years ago
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆10Updated 9 years ago
• brandonbloom / terra-java
  Lua/Terra + Java Native Interface
  ☆21Updated 7 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• cavalab / ellyn
  python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.
  ☆54Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• edin-dal / structtensor
  ☆20Updated 3 weeks ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated 8 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 11 months ago
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆10Updated 2 months ago
• art-ai / pypsdd
  The Python PSDD Package
  ☆16Updated 2 months ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated last year
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• starling-lab / BoostSRL
  BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.
  ☆32Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆12Updated 2 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago