alnkpa / sublimeprolog

Related projects ⓘ

Alternatives and complementary repositories for sublimeprolog

• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆22Updated 10 years ago
• khueue / prolongo
  MongoDB Driver for Prolog
  ☆44Updated 6 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆41Updated 8 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• mrocklin / unification
  ☆72Updated 3 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 4 years ago
• SWI-Prolog / plweb
  SWI-Prolog web server sources for www.swi-prolog.org
  ☆16Updated last month
• targodan / jupyter-swi-prolog
  A Jupyter Kernel for SWI-Prolog
  ☆25Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 10 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated this week
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆87Updated 2 months ago
• mcsoto / cosmos
  A new logic programming language.
  ☆176Updated last year
• samer-- / prolog
  Prolog stuff
  ☆26Updated 5 years ago
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆42Updated 3 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆139Updated 8 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• JakeHP / language-prolog
  Prolog language support for Atom
  ☆10Updated 5 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 3 years ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆37Updated last month
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆57Updated 4 years ago
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆130Updated 9 years ago