ambulancja / mariposaView external linksLinks
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β19Feb 4, 2026Updated last week
- A modern supercompiler for call-by-value functional languagesβ466Dec 5, 2025Updated 2 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
- A Swift package for interacting with selenium and undetected-chromedriver through python by using PythonKit.β13Jun 21, 2025Updated 7 months ago
- Graphing Scrubbing Calculatorβ11Nov 27, 2017Updated 8 years ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.β13Mar 7, 2024Updated last year
- Penumbra: Overture - Episode 1 (2007) by Frictional Games ABβ16May 19, 2010Updated 15 years ago
- β14Feb 26, 2024Updated last year
- A simple incomplete Scheme-to-C compilerβ74Aug 7, 2025Updated 6 months ago
- β47Updated this week
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.β15Feb 26, 2024Updated last year
- A calligraphic esolangβ285Nov 17, 2025Updated 2 months ago
- The Callisto compiler of the 13th month, and other language extrasβ76Jan 14, 2026Updated last month
- A time travelling programming languageβ256Nov 22, 2024Updated last year
- A Scheme-like Lisp interpreter that can also run as an operating systemβ21Aug 17, 2013Updated 12 years ago
- Programming and interaction language. Flexible about syntax, strict about state.β647Updated this week
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]β21May 26, 2025Updated 8 months ago
- A functional, content-addressable programming language.β451Aug 8, 2025Updated 6 months ago
- A Forth-oriented VM and debuggerβ22Sep 21, 2025Updated 4 months ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into itβ1,163Jan 21, 2026Updated 3 weeks ago
- 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
- Velato language - write code with musicβ59Dec 13, 2025Updated 2 months ago
- A small, statically typed, low-level programming language.β24Sep 8, 2025Updated 5 months ago
- XKCD 3062β22Mar 13, 2025Updated 11 months ago
- β36Updated this week
- A functional, flexible and concise Lisp.β298Aug 5, 2025Updated 6 months ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.β12Nov 18, 2025Updated 2 months ago
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β680Updated this week
- A multiplayer gameboy powered by WebRTCβ172Apr 1, 2025Updated 10 months ago
- LO - small programming language targeting WASM that aims to be as simple as possibleβ478Updated this week
- A complete proof in Agda of the Church-Rosser theorem for untyped Ξ»-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) anβ¦β29Sep 21, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can failβ15Nov 3, 2023Updated 2 years ago
- Hakyll support for Agda literate filesβ19Jul 20, 2021Updated 4 years ago
- Type inference implementation in OCaml using Algorithm Wβ10Aug 26, 2021Updated 4 years ago
- Prototype implementation of Aug 2022 mnemonic medium designβ12Apr 16, 2024Updated last year
- An extensible visual programming system.β10May 8, 2016Updated 9 years ago
- Basic linear algebra for small matrices in Cβ12Sep 9, 2025Updated 5 months ago