woodrush / lambdacraft
Common Lisp DSL for building untyped lambda calculus expressions
☆23Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambdacraft
- Collection of Utilities for Gerbil Scheme☆43Updated 3 months ago
- ☆21Updated 4 years ago
- A logic programming library for Common Lisp.☆58Updated 3 years ago
- ☆18Updated last year
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated 10 months ago
- Forth emulator, as a Racket #lang☆20Updated last year
- Le-Lisp by INRIA☆28Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆31Updated 3 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆21Updated 3 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆18Updated 8 years ago
- Terminal emulator in racket☆40Updated last year
- The package manager for Cyclone Scheme.☆29Updated 9 months ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 4 years ago
- A C implementation of the Shen programming language☆70Updated 2 years ago
- Parser combinators in Common Lisp☆23Updated 14 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆49Updated this week
- A 2D RPG implemented in the Rhombus Racket dialect☆51Updated last year
- R7RS/R6RS Scheme Implementation☆56Updated last year
- Wasm tooling in Racket.☆40Updated last year
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- Basic Linear Algebra compiler with C and Common Lisp backends☆16Updated 10 months ago
- The Goo programming language.☆24Updated 10 years ago
- ☆15Updated 8 years ago
- Ethereum support for Gerbil Scheme☆18Updated 6 months ago
- A mostly-joking implementation of a lisp in just 500 lines of C.☆19Updated 5 years ago
- Use Python from Racket☆28Updated 3 months ago