steveklabnik / mojikunLinks
A programming language that you'll
☆71Updated 12 years ago
Alternatives and similar repositories for mojikun
Users that are interested in mojikun are comparing it to the libraries listed below
Sorting:
- Brainfuck with Actors☆36Updated 6 years ago
- A monadic IO interface in Rust☆78Updated 9 years ago
- An ML-like language featuring native compilation.☆18Updated 10 years ago
- A functional programming language designed for concurrency and failure☆44Updated 3 years ago
- An example Ruby implementation of μKanren.☆23Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- 🔬 a C++ compiler middle-end, using an LLVM backend☆164Updated 3 years ago
- The doge interpreter for the shibe esoteric programming language.☆98Updated 12 years ago
- A Scheme embedded in Rust, like Lua in C.☆62Updated 7 years ago
- What happens if you take dependency injection and bake it into a programming language?☆13Updated 9 years ago
- Simple demo of noise-rs and rustbox☆22Updated 7 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated 10 months ago
- A pyramidic language☆48Updated 5 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- Haskell In New Clothes☆110Updated 5 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 7 years ago
- Definition for Pineapple language and its compiler☆25Updated 7 years ago
- Hyper-Dimensional Brainfuck☆103Updated last year
- The Mythryl programming language☆117Updated 10 years ago
- ☆28Updated 7 years ago
- Rust API search engine☆56Updated 10 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- Some talks I've given☆91Updated 2 years ago
- ALgoloid with MAcros -- a language with Algol-family syntax where macros take center stage☆141Updated 10 months ago
- Generate Erlang VM byte code from Haskell☆170Updated last year
- The programming language that defies the laws of physics☆23Updated 7 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A lambda calculus interpreter. GET IT?☆81Updated 4 years ago