triska / lisprolog
Interpreter for a simple Lisp. Written in Prolog.
☆145Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lisprolog
- Low-level Lisp with compile-time memory management☆270Updated 6 years ago
- Algebraic structures for untyped Racket☆75Updated 3 months ago
- A Common Lisp library for solving linear programming problems☆108Updated 11 months ago
- A neatly typeset version of John McCarthy's classic paper☆120Updated 11 months ago
- Archive of LISP Machine, Inc.☆262Updated 3 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆221Updated 2 years ago
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆208Updated 3 years ago
- Library and Toolkit for Standard ML☆144Updated last year
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆185Updated 3 years ago
- Bibliography of Scheme research (readscheme.org and beyond)☆149Updated last year
- Shen for Common Lisp (Unmaintained)☆122Updated 5 months ago
- Don't Lisp, Talk!☆58Updated 6 months ago
- Shen language kernel sources for porters☆355Updated 2 months ago
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- C to Common Lisp compiler☆306Updated 2 years ago
- nanopass compiler framework for Racket☆180Updated 9 months ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆100Updated 3 years ago
- PicoLisp active development has moved to the pil21 repository: https://github.com/picolisp/pil21☆206Updated 4 years ago
- ☆169Updated 6 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆210Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- Low-level Lisp for LLVM☆502Updated 8 years ago
- ☆70Updated 6 years ago
- staged relational interpreters: running with holes, faster☆125Updated this week
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆129Updated 6 years ago
- Programs from the book Lisp in Small Pieces, updated to work on modern schemes☆230Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆159Updated 7 years ago