woodrush / lambdacraftLinks
Common Lisp DSL for building untyped lambda calculus expressions
☆26Updated 10 months ago
Alternatives and similar repositories for lambdacraft
Users that are interested in lambdacraft are comparing it to the libraries listed below
Sorting:
- A logic programming library for Common Lisp.☆62Updated 4 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆35Updated 3 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Updated 5 years ago
- Collection of Utilities for Gerbil Scheme☆44Updated 3 weeks ago
- A library for reading, writing, and representing structures from binary storage☆19Updated 2 months ago
- R7RS/R6RS Scheme Implementation☆63Updated last year
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- Le-Lisp by INRIA☆34Updated 2 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Updated 9 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 4 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- A neural network written in pure Lisp without built-in numbers☆40Updated 3 years ago
- Scheme to Common Lisp☆17Updated last year
- An object-oriented dialect of Scheme☆61Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆61Updated 16 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 13 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- Parser combinators in Common Lisp☆23Updated 15 years ago
- A mostly-joking implementation of a lisp in just 500 lines of C.☆22Updated 6 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp