woodrush / lambdacraft
Common Lisp DSL for building untyped lambda calculus expressions
☆24Updated 2 months ago
Alternatives and similar repositories for lambdacraft:
Users that are interested in lambdacraft are comparing it to the libraries listed below
- Common Interface to ISO Prolog implementations from Common Lisp☆33Updated 3 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- A logic programming library for Common Lisp.☆59Updated 4 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 6 months ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated last year
- The package manager for Cyclone Scheme.☆30Updated last year
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 8 years ago
- R7RS/R6RS Scheme Implementation☆57Updated last year
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated this week
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Scheme to Common Lisp☆15Updated last year
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆27Updated 2 years ago
- ☆19Updated last year
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 5 years ago
- Parser combinators in Common Lisp☆23Updated 14 years ago
- A 2D RPG implemented in the Rhombus Racket dialect☆51Updated last year
- ☆21Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- LISP 1.5(-ish) implementation in WebAssembly☆42Updated last year
- A mostly-joking implementation of a lisp in just 500 lines of C.☆20Updated 6 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 11 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 2 years ago
- A programming argot☆58Updated 10 months ago
- s7 Scheme☆57Updated 5 years ago
- A *LISP emulator☆34Updated 4 years ago
- The Goo programming language.☆24Updated 10 years ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆19Updated 7 months ago
- Terminal emulator in racket☆40Updated last year