woodrush / lambdacraftLinks
Common Lisp DSL for building untyped lambda calculus expressions
☆26Updated 8 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
- R7RS/R6RS Scheme Implementation☆63Updated last year
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Updated 5 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 9 years ago
- Official Sagittarius Scheme repository☆53Updated this week
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- Le-Lisp by INRIA☆31Updated 2 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- A library for reading, writing, and representing structures from binary storage☆19Updated 2 weeks ago
- Collection of Utilities for Gerbil Scheme☆44Updated last year
- A neural network written in pure Lisp without built-in numbers☆40Updated 3 years ago
- The package manager for Cyclone Scheme.☆33Updated last year
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Terminal emulator in racket☆42Updated last year
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- A mostly-joking implementation of a lisp in just 500 lines of C.☆22Updated 6 years ago
- An object-oriented dialect of Scheme☆60Updated 3 years ago
- okami is an application development platform☆38Updated 2 weeks ago
- Scheme to Common Lisp☆17Updated last year
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- A 2D RPG implemented in the Rhombus Racket dialect☆56Updated 2 years ago
- A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)☆28Updated 10 years ago
- A programming argot☆58Updated last year
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- A *LISP emulator☆35Updated 5 years ago