Alternatives and similar repositories for Psh

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

• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆17Updated 4 years ago
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 4 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆39Updated last month
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆46Updated 6 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆50Updated 3 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆11Updated 10 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 6 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆58Updated last week
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆18Updated 5 years ago
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆150Updated 3 months ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 4 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆28Updated 2 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆140Updated 4 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• ttsiodras / Score4
  AI: Implementing Score4 (Connect four) in functional and imperative languages
  ☆45Updated 3 years ago
• Zarkonnen / Longan
  A flexible pure-Java OCR implementation. Eventually.
  ☆20Updated 11 years ago
• propella / prolog
  a prolog
  ☆30Updated 15 years ago
• dalnefre / kernel_abe
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Updated 7 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• aic-sri-international / aic-praise
  SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)
  ☆12Updated 4 years ago
• Frege / frege-maven-plugin
  Support for your favorite build tool
  ☆14Updated 2 years ago
• prova / prova
  ☆36Updated 2 years ago