ambulancja / mariposa
A toy programming language with time travel
☆311Updated last year
Alternatives and similar repositories for mariposa:
Users that are interested in mariposa are comparing it to the libraries listed below
- A functional, content-addressable programming language.☆427Updated 2 months ago
- A calligraphic esolang☆231Updated this week
- an experimental new programming language based on interaction nets☆252Updated this week
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- A time travelling programming language☆253Updated 5 months ago
- A small, weird and unpractical programming language.☆103Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆171Updated this week
- Transductive regular expressions☆240Updated 2 months ago
- A next-generation high-performance operating system focused on enterprise-level resilience☆83Updated 6 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- Real programming languages in 50 lines of code☆329Updated 5 months ago
- Text Adventure game in SWI Prolog.☆88Updated last year
- PostgreSQL Prolog language handler☆132Updated last year
- Brzozowski derivative python sketch☆85Updated 3 weeks ago
- Claro Lang☆143Updated 11 months ago
- Unix core utilities implemented in Haskell☆287Updated last week
- C plus Prolog☆159Updated last month
- the origins of J☆62Updated last year
- ☆82Updated 2 months ago
- Infinitely configurable integrated IDE and text editor☆124Updated 6 months ago
- 💾 Create block devices on your computer backed by Redstone Memory☆98Updated 2 years ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆238Updated 3 months ago
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆204Updated 2 months ago
- A programming language benchmark☆263Updated 2 months ago
- A literate programming system for any language.☆106Updated last year
- A Simple Virtual Computer☆345Updated 3 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆170Updated 3 years ago
- The Crumb Programming Language☆426Updated 2 months ago
- Programming language for ternary computing☆30Updated 4 years ago