woodrush / lambdacraftLinks
Common Lisp DSL for building untyped lambda calculus expressions
☆26Updated last year
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.☆63Updated 5 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Updated 9 years ago
- A library for reading, writing, and representing structures from binary storage☆19Updated 4 months ago
- Common Interface to ISO Prolog implementations from Common Lisp☆39Updated 4 years ago
- R7RS/R6RS Scheme Implementation☆64Updated this week
- Collection of Utilities for Gerbil Scheme☆45Updated 3 months ago
- An object-oriented dialect of Scheme☆61Updated last week
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Updated 6 years ago
- A mostly-joking implementation of a lisp in just 500 lines of C.☆22Updated 6 years ago
- Le-Lisp by INRIA☆34Updated 2 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 12 years ago
- Scheme to Common Lisp☆20Updated 2 years ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Updated 12 years ago
- Official Sagittarius Scheme repository☆59Updated this week
- A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)☆28Updated 10 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆94Updated 5 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
- CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.☆57Updated 5 years ago
- The package manager for Cyclone Scheme.☆33Updated last year
- A neural network written in pure Lisp without built-in numbers☆42Updated 3 years ago
- Concrete Syntax Trees represent s-expressions with source information☆62Updated 4 months ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- okami is an application development platform☆39Updated 4 months ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆12Updated 5 years ago
- Racket Lang for Virtual Reality (Aframe)☆10Updated 5 years ago
- Terminal emulator in racket☆42Updated 2 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Environment protocol for Common Lisp compilers.☆35Updated 2 years ago
- Lockless data structures for Common Lisp☆22Updated 4 months ago
- An implementation of John McCarthy's ambiguous operator in portable Common Lisp.☆39Updated 3 years ago