cosmoharrigan / pyrolog

Related projects ⓘ

Alternatives and complementary repositories for pyrolog

• rewriting / tom
  ☆34Updated 4 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 5 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆41Updated 8 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆27Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆9Updated 3 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 4 years ago
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• racket / parser-tools
  ☆11Updated 3 weeks ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆33Updated 4 months ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆57Updated last year
• osoco / PharoPDS
  Probabilistic data structures in Pharo Smalltalk.
  ☆29Updated 5 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆176Updated last year
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• stchang / parsack
  A basic Parsec-like monadic parser combinator library implementation in Racket.
  ☆50Updated last year
• SWI-Prolog / packages-http
  The SWI-Prolog HTTP server and client libraries
  ☆24Updated this week
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆61Updated 13 years ago
• hpi-swa / RSqueak
  A Squeak/Smalltalk VM written in RPython.
  ☆84Updated last year
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆43Updated 15 years ago