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☆35Updated 2 months ago
- IDE support for the functional logic programming language Curry☆31Updated last month
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- ⚖️ Trial Data Type☆21Updated 2 weeks ago
- Lambda calculus go brrrr☆29Updated 2 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- A simple functional programming language.☆21Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- ☆41Updated last year
- A fast Haskell library for parsing ByteStrings☆10Updated 3 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆18Updated last year
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A functional scripting language.☆18Updated 5 months ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 4 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 3 months ago