Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: warren-abstract-machine

remexre/wam-tutorial-reconstruction

A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."

Language: Rust - Size: 129 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 1

matsud224/wamcompiler

Prolog implementation based on Warren's abstract machine

Language: Common Lisp - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 37 - Forks: 5

eazar001/bfg-prolog

Implementation of Prolog

Language: Rust - Size: 168 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0

brunokim/logic-engine

Engine for logic programming in Go

Language: Go - Size: 1.49 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

Related Keywords
warren-abstract-machine 4 prolog 3 rust 2 compiler 2 wam 2 logic-programming 2 prolog-implementation 2 parser 1 logic-engine 1 definite-clause-grammar 1 vm 1 virtual-machine 1 prolog-programming-language 1 prolog-interpreter 1 logic 1 language 1 interpreter 1 bfg9000 1 bfg 1 common-lisp 1