MarcelGarus / martinaise
A small, statically typed, low-level programming language.
☆19Updated 3 weeks ago
Alternatives and similar repositories for martinaise:
Users that are interested in martinaise are comparing it to the libraries listed below
- A byte code specification and a JIT-compiler written in Assembly.☆12Updated 3 weeks ago
- ☆27Updated last year
- WIP stack language that uses regex for control flow☆42Updated last year
- A tiny lazy objective functional language☆14Updated 4 months ago
- The Nox programming language☆29Updated last year
- A WIP little dependently-typed systems language☆40Updated 5 months ago
- An implementation of interaction nets as a forth-like language.☆26Updated this week
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 10 months ago
- Statically typed general purpose programming languageUpdated 10 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated 2 weeks ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Components of programming languages, all implemented in self-contained files☆9Updated 11 months ago
- The Titan programming language.☆11Updated 9 months ago
- A programming language for transpiled libraries.☆13Updated last month
- Atiny is a simple compiler for a ML like language☆12Updated last year
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- An esoteric RPN golfing language☆23Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Soul - an esoteric concatenative language☆11Updated 9 months ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- The Closey programming language☆12Updated 3 years ago
- ☆19Updated last year
- siko☆14Updated last year
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- McLulang: The message is the language☆10Updated 5 months ago
- The Core Programming Language☆51Updated last week
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- The Curly programming language (now in Rust!)☆29Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆55Updated 2 weeks ago