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.☆62Updated 4 years ago
- When Lisp and Vhdl have a son.☆43Updated 5 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- Reactive computation tree library for non-blocking concurrent Common Lisp☆52Updated 3 years ago
- 80% xectors☆43Updated 3 years ago
- Scheme to Common Lisp☆17Updated last year
- Portability layer for atomic operations like compare-and-swap (CAS)☆37Updated 5 months ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Portable threads API for Common Lisp (from GBBopen project)☆13Updated 4 years ago
- R7RS/R6RS Scheme Implementation☆62Updated last year
- Uranus Interpreter for ANSI Common Lisp☆12Updated 8 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Updated 11 years ago
- *Lisp simulator☆28Updated 11 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆59Updated 13 years ago
- Concrete Syntax Trees represent s-expressions with source information☆61Updated 3 weeks ago
- ThinLisp is an open source Lisp to C translator.☆32Updated 10 years ago
- A Common Lisp library for computing differences between files☆30Updated 11 years ago
- list of extensions beyond CL available in lisp implementations, and the status of its spread.☆21Updated 6 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- Read and write binary records for Common Lisp☆40Updated last year
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- An object-oriented dialect of Scheme☆60Updated 3 years ago
- A specification of an improvement to the Common Lisp standard☆22Updated 3 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.☆60Updated 4 years ago
- A library for reading, writing, and representing structures from binary storage☆19Updated 2 weeks ago