guitarvydas / wam
A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
☆12Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for wam
- Poplog☆21Updated 13 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆27Updated 8 years ago
- experimental computational medium and supporting tools☆22Updated this week
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆10Updated 3 years ago
- Purely Functional Data Structures☆12Updated 3 years ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Updated 11 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆31Updated 2 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- A portable single-layer timer wheel implementation.☆13Updated 7 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- R6RS SRFIs☆24Updated 12 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆43Updated 3 years ago
- Forth emulator, as a Racket #lang☆20Updated last year
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Uniform Resource Locators for Common Lisp☆20Updated 8 months ago
- A logic programming library for Common Lisp.☆58Updated 3 years ago
- access (parts of) VIGRA's functionality from Racket☆15Updated 2 years ago
- *Lisp simulator☆28Updated 11 years ago
- Pluggable types for Common Lisp☆18Updated 11 months ago
- Common Lisp with Arc Macros and Procedures☆71Updated 8 years ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- Robustness through actors, for Common Lisp☆32Updated 9 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 years ago
- Supervisor trees (and some more) for Common Lisp☆20Updated 4 years ago
- Binary Search Tree☆9Updated last year