matsud224 / wamcompilerLinks
Prolog implementation based on Warren's abstract machine
☆44Updated 5 years ago
Alternatives and similar repositories for wamcompiler
Users that are interested in wamcompiler are comparing it to the libraries listed below
Sorting:
- A logic programming library for Common Lisp.☆63Updated 4 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆38Updated 3 years ago
- Cl-coroutine is a coroutine library for Common Lisp. It uses cl-cont continuations library in its implementation.☆69Updated 9 years ago
- Reactive computation tree library for non-blocking concurrent Common Lisp☆52Updated 4 years ago
- Portability layer for atomic operations like compare-and-swap (CAS)☆37Updated 3 months ago
- Portable threads API for Common Lisp (from GBBopen project)☆13Updated 4 years ago
- Read and write binary records for Common Lisp☆40Updated last year
- Concrete Syntax Trees represent s-expressions with source information☆61Updated 2 months ago
- A simple directed graph implementation for Common Lisp.☆29Updated 2 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- CFFI bindings for LLVM☆100Updated last year
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆60Updated 14 years ago
- Embedded trivial Lisp-dialect.☆22Updated 2 years ago
- ☆26Updated 2 years ago
- A library of conveniences for working with the Common Lisp SERIES package☆39Updated 5 years ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆46Updated 7 years ago
- Persistent, fast mmap'd database for Common Lisp using MOP; includes its own GC systems☆63Updated 16 years ago
- When Lisp and Vhdl have a son.☆44Updated 6 years ago
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Updated 4 years ago
- Scheme to Common Lisp☆17Updated last year
- Common Lisp symbols separated into packages according to their purity☆33Updated 8 years ago
- list of extensions beyond CL available in lisp implementations, and the status of its spread.☆21Updated 6 years ago
- 80% xectors☆47Updated 3 years ago
- A Common Lisp implementation of the Cassowary constraint solving toolkit.☆21Updated 3 months ago
- A library to easily read and write complex binary formats.☆101Updated 10 months ago
- Distributed, asychronous message passing system for Clozure Common Lisp☆66Updated 7 years ago
- An implementation of John McCarthy's ambiguous operator in portable Common Lisp.☆39Updated 2 years ago
- Egison-like pattern-matching library for Common Lisp☆22Updated 10 years ago
- Some examples for the CEPL library☆47Updated 4 years ago