oblivia-simplex / plogLinks
A bare-bones blogging system, written in Prolog
☆26Updated last year
Alternatives and similar repositories for plog
Users that are interested in plog are comparing it to the libraries listed below
Sorting:
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- TPTP linear logic version☆15Updated 8 months ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- Logic for story telling!☆34Updated 7 years ago
- Boolean Constraint Solving in Prolog☆48Updated 10 months ago
- A SKI combinators interpreter written in assembly☆19Updated 5 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Updated 5 years ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- Mirror of Epigram 2, by Conor McBride, et al.☆50Updated 5 years ago
- Specification of the Cedille Core language☆33Updated 5 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 9 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 7 months ago
- αProlog☆18Updated 2 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 4 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last week
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 6 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- ☆62Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 6 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- ☆22Updated 5 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago