oblivia-simplex / plog

Related projects: ⓘ

• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last year
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆31Updated last week
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated 4 years ago
• theoremprover-museum / LCF77
  The original Edinburgh LCF.
  ☆23Updated 7 years ago
• pa-ba / equivalence
  ☆10Updated 8 months ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆17Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated 9 months ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆18Updated 3 years ago
• racket / honu
  ☆18Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆34Updated 3 years ago
• webyrd / tree-automata
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Updated last year
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 7 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 3 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 6 months ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 6 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 4 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 5 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆16Updated last month