woodrush / lambdacraft
Common Lisp DSL for building untyped lambda calculus expressions
☆25Updated 3 months ago
Alternatives and similar repositories for lambdacraft:
Users that are interested in lambdacraft are comparing it to the libraries listed below
- Collection of Utilities for Gerbil Scheme☆43Updated 7 months ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆32Updated last year
- ☆19Updated last year
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- The package manager for Cyclone Scheme.☆31Updated last year
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- A logic programming library for Common Lisp.☆60Updated 4 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated this week
- ☆21Updated 5 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- SLAYER ported to Racket☆20Updated 5 years ago
- Terminal emulator in racket☆41Updated last year
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- A library for reading, writing, and representing structures from binary storage☆18Updated 6 months ago
- med - A fork of the emacs-like text editor for the Mezzano operating system☆13Updated 9 years ago
- Wasm tooling in Racket.☆41Updated last year
- A 2D RPG implemented in the Rhombus Racket dialect☆52Updated last year
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆33Updated 3 years ago
- A Racket refactoring engine☆63Updated this week
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 8 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated last month
- A port of sweet expressions to Racket☆47Updated 2 years ago
- ☆40Updated last week
- A Scala-style magic function application form☆43Updated 2 years ago
- ☆18Updated last week