norswap / prolog-dry

Related projects: ⓘ

• bmsherman / blog
  ☆41Updated 9 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆152Updated 2 months ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆75Updated 2 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆119Updated 11 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆185Updated 3 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆66Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆144Updated last year
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆54Updated this week
• stchang / macrotypes
  ☆133Updated 2 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆39Updated 2 years ago
• sparist / Om
  The Om programming language.
  ☆167Updated 3 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆46Updated 8 months ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• goudreinette / forth
  Forth clone in Haskell
  ☆31Updated 7 years ago
• 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
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆89Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated 2 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆22Updated last month