ambulancja / mariposaLinks
A toy programming language with time travel
☆315Updated last year
Alternatives and similar repositories for mariposa
Users that are interested in mariposa are comparing it to the libraries listed below
Sorting:
- A functional, content-addressable programming language.☆436Updated last month
- A calligraphic esolang☆262Updated this week
- A modern supercompiler for call-by-value functional languages☆418Updated 2 months ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆240Updated last month
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- an experimental new programming language based on interaction nets☆273Updated this week
- An online IDE for visual programming in Prolog☆244Updated 2 weeks ago
- Naming is hard. How far can we go without?☆243Updated last year
- A time travelling programming language☆254Updated 7 months ago
- PostgreSQL Prolog language handler☆134Updated last year
- Infinitely configurable integrated IDE and text editor☆125Updated 8 months ago
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆392Updated 3 weeks ago
- Transductive regular expressions☆250Updated last month
- Text Adventure game in SWI Prolog.☆100Updated last year
- 😈 Yaksha Programming Language - Offside rule + Lisp system for macros. 🐣 WIP☆217Updated last month
- A next-generation high-performance operating system focused on enterprise-level resilience☆85Updated 8 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆266Updated this week
- Claro Lang☆143Updated last year
- the origins of J☆62Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated last month
- An ngn/k tutorial.☆203Updated last year
- Programming with pure lambda calculus☆110Updated 2 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆107Updated this week
- C plus Prolog☆162Updated 3 months ago
- A literate programming system for any language.☆111Updated last year
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆125Updated 4 months ago
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆221Updated 4 months ago
- Unix core utilities implemented in Haskell☆287Updated 2 months ago
- Rewriting Principia Mathematica in Lean☆132Updated 7 months ago
- Brzozowski derivative python sketch☆85Updated 2 months ago