triska / lisprologLinks
Interpreter for a simple Lisp. Written in Prolog.
☆148Updated 2 years ago
Alternatives and similar repositories for lisprolog
Users that are interested in lisprolog are comparing it to the libraries listed below
Sorting:
- Algebraic structures for untyped Racket☆77Updated last year
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆123Updated 12 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Updated 4 years ago
- Low-level Lisp with compile-time memory management☆274Updated 7 years ago
- You dig Scheme. The world is coded in C. You get both.☆100Updated 4 years ago
- Library and Toolkit for Standard ML☆145Updated 2 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
- A neatly typeset version of John McCarthy's classic paper☆124Updated 6 months ago
- MIT Scheme environment for the browser☆59Updated 7 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- From function composition to distributed programming☆66Updated last year
- Don't Lisp, Talk!☆57Updated last year
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆225Updated 3 years ago
- APL Compiler targeting a typed array intermediate language☆216Updated 11 months ago
- Mal (Make A Lisp) compiler☆124Updated last year
- The Online Interpreter for Standard ML, written in TypeScript.☆177Updated last year
- Source Codes for "A Pamphlet against R"☆100Updated 3 years ago
- The NIAL language environment☆112Updated 2 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆194Updated 5 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆136Updated 7 years ago
- A mirror of Paul Graham's Bel source code and documentation, formatted☆51Updated 2 years ago
- nanopass compiler framework for Racket☆189Updated last year
- ☆79Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- The implementation of microKanren, a featherweight relational programming language☆311Updated 11 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago