norswap / prolog-dry

Related projects ⓘ

Alternatives and complementary repositories for prolog-dry

• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆186Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• cell-lang / compiler
  Cell compiler
  ☆114Updated last year
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆119Updated 11 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• mthom / scryer-shen
  ☆43Updated 2 weeks ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 4 years ago
• deech / ATS-Strange-Loop-Talk
  ☆46Updated 7 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆152Updated 4 months ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 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
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 6 months ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆27Updated 7 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆54Updated last month