mtolly / rail
Interpreter/compiler for a 2D esoteric language
☆12Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for rail
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Strongly typed routes for Rust☆35Updated 3 years ago
- this is not a working lens library☆12Updated last year
- A simple prolog implementation in Rust☆26Updated 3 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- Haskell to brainfuck compiler☆29Updated 10 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- cargo +nightly build☆34Updated 5 years ago
- A Vim plugin for Carp☆17Updated 3 years ago
- The glitch-soc/Mastodon fork running on types.pl☆18Updated 4 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- A functional scripting language.☆17Updated last month
- Raw string literals for Haskell.☆25Updated 6 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Lua parser and pretty-printer☆15Updated 5 months ago
- ☆54Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Liquid Types implementation for Rust☆26Updated 2 years ago
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Safe conversions between Haskell textual types☆39Updated 2 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A beginner's guide to Haskell optimization☆64Updated 6 years ago