migafgarcia / prolog-checkers

Related projects ⓘ

Alternatives and complementary repositories for prolog-checkers

• eugeneia / microlisp
  Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.
  ☆17Updated 9 years ago
• Anniepoo / swiplclpfd
  clp(fd) tutorial
  ☆19Updated 8 months ago
• txus / terrorvm
  Lightweight, fast Virtual Machine for dynamic, object-oriented languages.
  ☆42Updated 10 years ago
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• sqrt57 / x86-scheme
  Implementation of Scheme programming language in assembly
  ☆25Updated 6 years ago
• DangerOnTheRanger / schego
  An R7RS implementation of Scheme written in Go
  ☆13Updated 6 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆24Updated this week
• rewriting / tom
  ☆34Updated 4 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated last week
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆14Updated 2 months ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 2 years ago
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated this week
• doublec / cf
  a simple concatenative programming language written in C++
  ☆35Updated 6 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated this week
• chisophugis / x64-Forth
  a simple Forth system for x64 Linux
  ☆32Updated 12 years ago
• palmskog / fitch
  Certified proof checker for Fitch-style propositional logic proofs
  ☆7Updated last year
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆19Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 8 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• gahag / tpc
  TPC: A parser combinator for C++ based on templates.
  ☆10Updated 6 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• JakubGrobelny / aurox-lang
  Interpreter written for Prolog course.
  ☆10Updated 4 years ago
• rebolsource / r3
  Source code for the Rebol [R3] interpreter
  ☆29Updated 3 months ago
• armornick / TinyScheme
  A sort-of continuation of the TinyScheme project by Dimitrios Souflis
  ☆13Updated 8 years ago
• ers35 / colorforth
  ☆20Updated last month
• edvb / tisp
  Tiny lisp, simple and embeddable scheme-like language
  ☆26Updated 11 months ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago