guregu / trealla-js

Related projects: ⓘ

• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆33Updated this week
• robsimmons / dusa
  A petrifyingly good logic programming language
  ☆26Updated last week
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆12Updated 7 months ago
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆19Updated 8 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆22Updated last month
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆24Updated 11 months ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆31Updated 5 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆90Updated 4 months ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆74Updated 2 years ago
• wjlewis / ramo
  miniKanren for JavaScript
  ☆22Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated last week
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆56Updated 4 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆26Updated this week
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆21Updated 8 months ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆41Updated last year
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated 6 months ago
• mthom / scryer-shen
  ☆37Updated last month
• mcnuttandrew / prong
  A projectional editor for JSON DSLs
  ☆24Updated 5 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆40Updated 2 weeks ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆77Updated 11 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆97Updated last month
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆121Updated last year
• ekoontz / psqlog
  Datalog in PostgreSQL
  ☆25Updated 9 years ago
• contrast-zone / rewrite.js
  ☆21Updated this week
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 2 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆17Updated 3 months ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆14Updated last month