A probabilistic programming language based on pattern-rewriting
☆87Jan 8, 2024Updated 2 years ago
Alternatives and similar repositories for MJr
Users that are interested in MJr are comparing it to the libraries listed below
Sorting:
- my javascript helpers☆45May 6, 2024Updated last year
- some resources☆14Oct 5, 2023Updated 2 years ago
- ☆14Oct 2, 2022Updated 3 years ago
- things I wanna make (updated for 2024)☆32Sep 22, 2024Updated last year
- Brainstorming and mind mapping with a simple, beautiful UX☆21Jun 26, 2025Updated 8 months ago
- This is an engine for 2D webgames and webtoys☆10Apr 6, 2022Updated 3 years ago
- AGS Fast Wave Function Collapse Plugin☆15Jun 23, 2020Updated 5 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Sep 18, 2018Updated 7 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- ☆30May 16, 2022Updated 3 years ago
- language language☆20Jun 7, 2023Updated 2 years ago
- A terminal app to find nice MD5s☆14Jan 15, 2023Updated 3 years ago
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- a splitting sand game☆18Jan 25, 2023Updated 3 years ago
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated 2 months ago
- Clone of https://gitorious.org/lisp-1-5/lisp-1-5 Informatimago's Machine Readable Transcription of the LISP 1.5 (1962) Sources☆14Nov 19, 2014Updated 11 years ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- A NIF module for Erlang to Mozilla's Spidermonkey Javascript runtime.☆13Feb 25, 2026Updated last week
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- r3 virtual machine, succesor of :r4☆17Dec 31, 2020Updated 5 years ago
- CS316 "Functional Programming" lecture notes☆22Jan 29, 2026Updated last month
- tiny experimental language for limited environments☆17Mar 8, 2023Updated 3 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 3 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Jul 8, 2021Updated 4 years ago
- ☆15Sep 11, 2018Updated 7 years ago
- paint with a painter☆35Jul 12, 2025Updated 7 months ago
- surreal cellular automata☆364May 31, 2025Updated 9 months ago
- Notes and examples for getting started coding in LÖVE aka Love aka Love2d for folks with previous experience in Processing, p5.js and the…☆17Dec 26, 2024Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- A functional scripting language.☆17Jan 18, 2025Updated last year
- An interpreter for a small dialect of Forth written in Go.☆19Apr 7, 2019Updated 6 years ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆41Jan 6, 2025Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- Uxntal support for Visual Studio Code☆18Sep 19, 2025Updated 5 months ago
- explore+create across all of the pondiverse☆18May 30, 2025Updated 9 months ago