triska / lisprolog
Interpreter for a simple Lisp. Written in Prolog.
☆146Updated last year
Alternatives and similar repositories for lisprolog:
Users that are interested in lisprolog are comparing it to the libraries listed below
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆352Updated 3 years ago
- Low-level Lisp with compile-time memory management☆272Updated 6 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆195Updated 4 years ago
- Archive of LISP Machine, Inc.☆265Updated 4 years ago
- Shen language kernel sources for porters☆364Updated 5 months ago
- Algebraic structures for untyped Racket☆76Updated 6 months ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆209Updated last year
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- You dig Scheme. The world is coded in C. You get both.☆100Updated 3 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 11 years ago
- Shen for Common Lisp (Unmaintained)☆124Updated 7 months ago
- A Small Lisp in Forth☆154Updated 3 years ago
- Canonical miniKanren implementation☆353Updated 6 years ago
- nanopass compiler framework for Racket☆184Updated 11 months ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- ☆169Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Swish Concurrency Engine☆144Updated last month
- A mirror of Paul Graham's Bel source code and documentation, formatted☆49Updated 2 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆222Updated 2 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- APL Compiler targeting a typed array intermediate language☆211Updated 4 months ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆277Updated 5 months 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 last year
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆161Updated 7 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆380Updated 4 years ago
- A neatly typeset version of John McCarthy's classic paper☆120Updated last year
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago