triska / lisprolog
Interpreter for a simple Lisp. Written in Prolog.
☆147Updated 2 years ago
Alternatives and similar repositories for lisprolog:
Users that are interested in lisprolog are comparing it to the libraries listed below
- The implementation of microKanren, a featherweight relational programming language☆309Updated 10 years ago
- You dig Scheme. The world is coded in C. You get both.☆99Updated 3 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- Low-level Lisp with compile-time memory management☆274Updated 6 years ago
- A Common Lisp library for solving linear programming problems☆110Updated last year
- LLVM to Common Lisp transpiler.☆265Updated last year
- 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
- Algebraic structures for untyped Racket☆77Updated 9 months ago
- Archive of LISP Machine, Inc.☆269Updated 4 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A mirror of Paul Graham's Bel source code and documentation, formatted☆50Updated 2 years ago
- APL Compiler targeting a typed array intermediate language☆211Updated 8 months ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 12 years ago
- Shen language kernel sources for porters☆372Updated 8 months ago
- Kenichi Asai's reflective programming language Black☆196Updated 3 years ago
- Don't Lisp, Talk!☆57Updated last year
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆361Updated 4 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- nanopass compiler framework for Racket☆189Updated last year
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- A practical guide to Racket macros☆252Updated 5 years ago
- Shen for Common Lisp (Unmaintained)☆128Updated 11 months ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- ☆79Updated 5 years ago
- MIT Scheme environment for the browser☆59Updated 7 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆224Updated 3 years ago
- A Small Lisp in Forth☆155Updated 4 years ago