Life & fun · alternatives · 2026

24 alternatives to Micro-mitten – Research language with compile-time memory management

I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.

Micro-mitten is a research programming language implementing compile-time memory management based on academic techniques. It is designed for developers and researchers interested in functional programming with… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Micro-mitten – Research language with compile-time memory management launched in 2020; newer entries below may have overtaken it.

1
A dependently-typed programming language with static memory management▲456
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
2
Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model)▲226
Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
3
ScrapScript – A tiny functional language for sharable software▲503
Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)
2023 · scrapscript.org · its alternatives →
4IW
I wrote a technical history book on Lisp▲252
The book page links to a blog post that explains how I got about it (and has a link to sample content), but the TL&DR is that I could not find a lot of books that were on "our" history _and_ were larded with technical details. So I set about writing one, and some five years later I'm happy to share the result. I think it's one of the few "computer history" books that has tons of code, but correct me if I'm wrong (I wrote this both to tell a story and to learn :-)). My favorite languages are Smalltalk and Lisp, but as an Emacs user, I've been using the latter for much longer and for my…
Feb 2026 · berksoft.ca · its alternatives →
5GI
Going into freshman year, figured I should build an interpreter▲138
Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D
2023 · its alternatives →
6
A hash array-mapped trie implementation in C▲171
Long-simmering side project that is finally ready to see the light. HAMTs are a cool persistent data structure and implementing one has been a lot of fun. Beyond the code, there is likely some value in the extensive and largely complete implementation docs; basic benchmarks are linked in the README, too. Kind of aiming to be "the libavl for HAMTs". That is obviously a high and aspirational bar but a distinct possibility if it stirs up a little interest and/or contribution. Anyways, it's time for this to go out, collect feedback and maybe even some use outside of toy projects. Let me…
2023 · github.com · its alternatives →
7
A compiler and VM for a simple language, in 150 lines of code▲200
A complete compiler for a simple language (in less than 150 LoC) - 00_readme.md
2022 · gist.github.com · its alternatives →
8
“Statements and State”, the next chapter of my book on interpreters▲141
2017 · craftinginterpreters.com · its alternatives →
9
A Database Written in Golang▲277
Recently created a minimal persistent relational database in Go. Main focus was on implementing & understanding working the of database, storage management & transaction handling. Use of B+ Tree for storage engine(support for indexing), managing a Free List (for reusing nodes), Support for transactions, Concurrent Reads. Still have many things to add & fix like query processing being one of the main & fixing some bugs Repo link - https://github.com/Sahilb315/AtomixDB Would love to hear your thoughts
2025 · github.com · its alternatives →
10
Minimal Lisp in ~70 lines of Haskell▲76
GitHub Gist: instantly share code, notes, and snippets.
2011 · gist.github.com · its alternatives →
11
Fork, a toy self-hosting language and compiler that compiles to C▲58
A simple, self hosted, low level programming language. - mcilloni/fork
2018 · github.com · its alternatives →
12
Tiny – An interpeted dynamic langauge with inline Go native functions▲41
A lightweight programming language built with Go. Contribute to confh/Tiny development by creating an account on GitHub.
Jun 2026 · github.com · its alternatives →
13CA
Computation at Compile-Time now free online▲57
2017 · billsix.github.io · its alternatives →
14
Peridot – A functional language based on two-level type theory▲151
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
15
Lisp with copying GC in 537 lines of C (plus Lisp 1.5 on top)▲152
Moved to Forgejo! Contribute to krig/LISP development by creating an account on GitHub.
2018 · github.com · its alternatives →
16
Ultra Tiny Compiler in less than 90 lines of code▲61
Ultra Tiny Compiler. Contribute to antonmedv/ultra-tiny-compiler development by creating an account on GitHub.
2016 · github.com · its alternatives →
17
I wrote a minimal memory allocator in C▲137
A fun toy memory allocator (not thread safe, that's a future TODO). I also wanted to explain how I approached it, so I also wrote a tutorial blog post (~20 minute read) covering the code which you can find the link to in the README.
Nov 2025 · github.com · its alternatives →
18
Maybe Haskell▲60
See what it’s like to program in a language without null.
2015 · books.thoughtbot.com · its alternatives →
19
My microkernel-based OS built from scratch now has basic Unix commands▲69
This project contains no code from Linux, BSD, Minix, or any other OS. Everything up until this point is written entirely from scratch, including a pure microkernel (that only implements multiprocessor priority scheduling, memory management, and interprocess communication), a work-in-progress implementation of the standard C library, and a variety of servers that provide drivers and other essential OS functionality. At the time of writing this post, the servers provide drivers for the keyboard, NVMe SSDs (that works on real hardware), a Unix-like virtual file system (with a single root…
2024 · github.com · its alternatives →
20
I wrote a VM and Compiler for a small language in Go▲37
My implementation of Thorsten Bell's book (Writing an Interpreter in Go) - actuallyachraf/monkey-giggle
2020 · github.com · its alternatives →
21
L2: An elegant untyped, unsafe, unhygienic programming language▲83
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
22
Flexible C memory allocation scheme with leak checking▲52
🔄 Flexible C memory allocation scheme. Contribute to mulle-c/mulle-allocator development by creating an account on GitHub.
2016 · github.com · its alternatives →
23MW
My "weekend" project, an ML dialect and compiler▲68
2012 · texodus.github.com · its alternatives →
24HP
High-performance ahead-of-time compiler for Machine Learning▲83
2018 · scss.tcd.ie · its alternatives →

Also compare

Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →