NicklasBoto / BruSKILinks
"DeBruijn to SKI" Untyped language that compiles to Unlambda
☆10Updated 4 years ago
Alternatives and similar repositories for BruSKI
Users that are interested in BruSKI are comparing it to the libraries listed below
Sorting:
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 8 months ago
- Polymorphic guarded λ-calculus☆20Updated 2 months ago
- Kempe is a compiled stack-based language☆58Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 11 months ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- PolyRPC, A multi-tier functional programming language☆20Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- ⚖️ Trial Data Type☆21Updated 3 months ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 3 weeks ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last month
- ☆47Updated 8 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 3 years ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- A minimal esolang based on lambda calculus☆16Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- A TOML parser for Idris 2☆17Updated last year
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆18Updated 3 weeks ago
- Wrap up Haskell tools☆15Updated 4 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago