A toy programming language with time travel
☆313Feb 12, 2024Updated 2 years ago
Alternatives and similar repositories for mariposa
Users that are interested in mariposa are comparing it to the libraries listed below
Sorting:
- 🌸 an exploration of HTML as a medium and material☆19Updated this week
- A modern supercompiler for call-by-value functional languages☆467Dec 5, 2025Updated 3 months ago
- tiny spreadsheet language with ambiguous values☆11Mar 29, 2024Updated last year
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- The clickity clackity next-gen terminal.☆22Oct 18, 2025Updated 4 months ago
- A Swift package for interacting with selenium and undetected-chromedriver through python by using PythonKit.☆13Jun 21, 2025Updated 8 months ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆15Feb 25, 2026Updated last week
- ☆10Nov 20, 2023Updated 2 years ago
- A small, weird and unpractical programming language.☆102Mar 1, 2026Updated last week
- ☆14Feb 26, 2024Updated 2 years ago
- Penumbra: Overture - Episode 1 (2007) by Frictional Games AB☆16May 19, 2010Updated 15 years ago
- A simple incomplete Scheme-to-C compiler☆74Aug 7, 2025Updated 7 months ago
- ☆48Updated this week
- Programming language for ternary computing☆31Feb 7, 2021Updated 5 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- A calligraphic esolang☆285Nov 17, 2025Updated 3 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,158Mar 23, 2025Updated 11 months ago
- A time travelling programming language☆256Nov 22, 2024Updated last year
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Aug 17, 2013Updated 12 years ago
- Foundation DB Query Language☆151Feb 24, 2026Updated 2 weeks ago
- Programming and interaction language. Flexible about syntax, strict about state.☆648Updated this week
- A FORTH in 340 bytes — the smallest real programming language ever as of yet.☆628Aug 18, 2024Updated last year
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated 9 months ago
- A functional, content-addressable programming language.☆454Aug 8, 2025Updated 7 months ago
- A Forth-oriented VM and debugger☆22Sep 21, 2025Updated 5 months ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,164Jan 21, 2026Updated last month
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- ALFI is a query language for graphical user interfaces.☆21May 31, 2020Updated 5 years ago
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 6 months ago
- ☆36Updated this week
- A functional, flexible and concise Lisp.☆300Aug 5, 2025Updated 7 months ago
- A typed, polyglot, functional language☆212Mar 2, 2026Updated last week
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Mar 25, 2020Updated 5 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆693Updated this week
- XKCD 3062☆23Mar 13, 2025Updated 11 months ago
- LO - small programming language targeting WASM that aims to be as simple as possible☆480Updated this week