haze / pillLinks
the ill programming language & interpreter
☆13Updated 6 years ago
Alternatives and similar repositories for pill
Users that are interested in pill are comparing it to the libraries listed below
Sorting:
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Macros have types!☆131Updated 2 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- A Haskell derived programming language for systems development.☆14Updated 7 years ago
- Polymorphic guarded λ-calculus☆20Updated 2 months ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- ☆35Updated 7 years ago
- A programming language focused on concurrency and low memory usage☆12Updated 6 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- cargo +nightly build☆34Updated 6 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- Rust ls clone with pretty colors.☆11Updated 8 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 8 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 5 years ago
- it goes zoom zoom☆46Updated 2 years ago
- Typed λ-calculus in Rust☆29Updated 2 years ago
- A TOML parser for Idris 2☆17Updated last year