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
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 8 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆12Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆27Updated 7 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated last week
• brandonbloom / terra-java
  Lua/Terra + Java Native Interface
  ☆21Updated 7 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆19Updated 4 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆24Updated 11 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 11 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years 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
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 5 years ago
• rlt3 / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 9 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 11 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated this week