nixpulvis / lambashLinks
A λ-calculus shell (because I love writing shells).
☆11Updated 5 years ago
Alternatives and similar repositories for lambash
Users that are interested in lambash are comparing it to the libraries listed below
Sorting:
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 6 years ago
- a pragmatic point-free theorem prover assistant☆143Updated last month
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Ordered process (re)start, shutdown, and supervision.☆162Updated 5 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 4 years ago
- Macros have types!☆133Updated 2 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- speedy web micro-framework using sled, io_uring and SIMD☆13Updated 5 years ago
- Passerine's package manager.☆22Updated 3 years ago
- Easy sandboxing for rust☆11Updated 9 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆15Updated 4 years ago
- A Rocket/Elm self hosted commenting system for static sites☆22Updated 7 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Updated 9 years ago
- A command line tool for splitting files into test, train, and validation sets.☆40Updated 3 weeks ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- A Universal Configuration Grammar☆37Updated 3 months ago
- Proc macro attributes for Bastion runtime.☆51Updated 3 years ago
- Language server providing completion for gluon☆54Updated 2 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- Category Theory For Programmers (Bartosz Milewski)☆67Updated 3 years ago
- Image to ASCII tool. (Rust version)☆37Updated 6 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago