woodrush / lambdacraftLinks
Common Lisp DSL for building untyped lambda calculus expressions
☆26Updated 6 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☆34Updated 3 years ago
- A library for reading, writing, and representing structures from binary storage☆18Updated this week
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago
- med - A fork of the emacs-like text editor for the Mezzano operating system☆13Updated 10 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 10 months ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29Updated 2 weeks ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 5 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- Scheme to Common Lisp☆17Updated last year
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- A simple Common-Lisp interface to the underlying Operating System☆33Updated last year
- Terminal emulator in racket☆42Updated last year
- A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)☆28Updated 10 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 8 years ago
- Build system in Common Lisp☆61Updated 4 months ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Updated 11 years ago
- The package manager for Cyclone Scheme.☆32Updated last year
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆11Updated 4 years ago
- LISP 1.5(-ish) implementation in WebAssembly☆43Updated 2 years ago
- Programmatically find open ports.☆22Updated 2 years ago
- A *LISP emulator☆35Updated 5 years ago
- git cvsimport'd version of the CLOCC repository on sourceforge.☆19Updated 15 years ago
- Lockless data structures for Common Lisp☆22Updated 7 months ago
- An implementation of John McCarthy's ambiguous operator in portable Common Lisp.☆39Updated 2 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated 9 months ago
- A mostly-joking implementation of a lisp in just 500 lines of C.☆20Updated 6 years ago