oblivia-simplex / plog

Related projects ⓘ

Alternatives and complementary repositories for plog

• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆32Updated this week
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆18Updated 4 years ago
• sto0pkid / swipl-tt
  Implementation of dependent type theory in SWI-Prolog
  ☆8Updated 4 years ago
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated 4 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆18Updated last year
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 3 weeks ago
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 5 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 8 months ago
• effectfully / Cubes
  A dependently typed type checker for a TT with intervals
  ☆21Updated 4 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated last month
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 6 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 6 years ago
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆20Updated 11 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• renzyq19 / pi-calculus
  ☆26Updated 10 years ago