fnogatz / CHR.js

Related projects: ⓘ

• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆56Updated 3 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆254Updated 2 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆74Updated 2 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated last year
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated 3 weeks ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆145Updated 4 months ago
• stchang / macrotypes
  ☆133Updated 2 years ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 4 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆97Updated last month
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 3 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆164Updated 6 years ago
• samer-- / prolog
  Prolog stuff
  ☆26Updated 5 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆84Updated last year
• racket / redex
  ☆89Updated last month
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆124Updated 3 weeks ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆385Updated 2 years ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 8 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆183Updated 4 months ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆168Updated 5 months ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆14Updated 6 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆101Updated 5 months ago
• wilbowma / cur
  A less devious proof assistant
  ☆220Updated last year
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆268Updated last month