AmziLS / distribution

Related projects: ⓘ

• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆116Updated 2 years ago
• forthy42 / thinking-forth
  Thinking Forth captures the philosophy of the language to show users how to write more readable, better maintainable applications. This p…
  ☆38Updated 6 years ago
• jackpal / lisp5000
  A small dialect of Common Lisp based upon lisp500
  ☆38Updated 10 years ago
• akavel / sherman
  A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.
  ☆17Updated 11 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated last week
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• briangu / OPS5
  OPS5 Production System
  ☆53Updated 11 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆12Updated 7 years ago
• flagxor / rainbowforth
  ☆38Updated 7 months ago
• mcsoto / cosmos
  A new logic programming language.
  ☆176Updated last year
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆46Updated 7 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 5 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆39Updated 3 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• wejgaard / TclForth
  Multi-platform desktop Forth based on Tcl/Tk
  ☆64Updated 3 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 8 years ago
• jamesnvc / vuelog
  Prolog Pengines + vue.js
  ☆16Updated 5 years ago
• soegaard / minipascal
  MiniPascal implemented in Racket
  ☆88Updated 2 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆51Updated 7 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆17Updated last year
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆56Updated 7 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆31Updated 2 months ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last year
• luser-dr00g / inca
  an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…
  ☆29Updated 7 years ago
• codr4life / lifoo
  ☆35Updated this week
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆25Updated 2 years ago