JedS6391 / LGP

Related projects ⓘ

Alternatives and complementary repositories for LGP

• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 3 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated 3 weeks ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated 3 weeks ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 5 years ago
• brandonbloom / terra-java
  Lua/Terra + Java Native Interface
  ☆21Updated 7 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 11 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated last month
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 2 months ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated 11 months ago
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 3 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 2 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 8 years ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆11Updated this week
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated last week
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 6 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
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆27Updated 7 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago