Alternatives and similar repositories for Psh

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

• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 3 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆26Updated last year
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆11Updated 9 years ago
• 222464 / HTSL
  Hierarchical Temporal Sparse Learner
  ☆13Updated 9 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated last year
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆23Updated 8 months ago
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆44Updated 5 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• brandonbloom / terra-java
  Lua/Terra + Java Native Interface
  ☆21Updated 8 years ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 4 years ago
• Frege / frege-maven-plugin
  Support for your favorite build tool
  ☆13Updated last year
• winitzki / CocoaJoin
  Implementation of join calculus in Objective-C for iOS
  ☆11Updated 7 years ago
• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆16Updated 4 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 8 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated this week
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Updated 10 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆37Updated 7 years ago
• rewriting / tom
  ☆34Updated 4 years ago