3c1u / maysickLinks
A Programming language of directories. Just for fun.
☆14Updated 2 years ago
Alternatives and similar repositories for maysick
Users that are interested in maysick are comparing it to the libraries listed below
Sorting:
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A superset of brainfuck with dynamic memory management.☆29Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A functional scripting language.☆18Updated 5 months ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- concise functionless functional esolang☆14Updated 2 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 3 weeks ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- Haskell to brainfuck compiler☆30Updated 11 years ago
- Polymorphic guarded λ-calculus☆13Updated 7 months ago
- A [ functional stack ] based language.☆29Updated last year
- An experimental language with compile time bounds checking☆15Updated 5 years ago
- A Haskell derived programming language for systems development.☆14Updated 6 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.☆11Updated 3 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- Advanced type checking for Lua☆7Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Statically typed, high-level functional programming language.☆17Updated 3 years ago
- ☆17Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago