Alternatives
Products that do what Micro-mitten – Research language with compile-time memory management does
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.
- 1HT
2017 · blog.klipse.tech
- 2MA
2019 · github.com
- 3QA
2016 · c9x.me
- 4LI
2021 · github.com
- 5FA
2018 · github.com
- 6AC
2020 · github.com
- 7CU
2018 · github.com
- 8HD
2021 · gist.github.com
- 9CF
2019 · gist.github.com
- 10MW
2017 · github.com
- 11UT
2016 · github.com
- 12MA
2015 · mullr.github.io
- 13AS
Hi HN, I’ve been working on an experimental programming language called XXML. The project started from a frustration I kept running into across systems languages: Languages with strong ownership tend to avoid runtime reflection. Languages with rich reflection usually rely on GC or give up memory guarantees. Compile-time code generation often requires a separate macro language. I wanted to explore whether those tradeoffs are truly necessary. What XXML is trying to do XXML is a statically-typed, native language that: Uses explicit ownership and borrowing (no garbage collector) Supports runtime…
Dec 2025 · xxml-language.com
- 14FT
After six months of work, I am here again presenting Fluent – a tiny lang which is optimized for differentiable & reactive programming. Since I am not Conal Elliot, don't expect a beautiful theoretical unification of FRP and AD from first principles. Rather, a horrific monster that holds together mostly because a lot of duct-tape. The link points to the semi-interactive tour of the language, which will get the job done much better than I could in here. Hope you hate/like it!
Jul 2026 · mlajtos.github.io
- 15SA
2012 · github.com
- 16AA
2017 · github.com
- 17AA
2014 · skepsi.me
- 18AT
2024 · github.com
- 19AC
2021 · gist.github.com
- 20LS
Earlier this year, I took a month to reexamine my coding habits and rethink some past design choices. I hope to rewrite and improve my FOSS libraries this year, and I needed answers to a few questions first. Perhaps some of these questions will resonate with others in the community, too. - Are coroutines viable for high-performance work? - Should I use SIMD intrinsics for clarity or drop to assembly for easier library distribution? - Has hardware caught up with vectorized scatter/gather in AVX-512 & SVE? - How do secure enclaves & pointer tagging differ on Intel, Arm, & AMD? - What's…
2025 · github.com
- 21MA
Howdy HN, I've been working on micron for quite some time now, and I've finally gotten it to a state where I'm ready to share it with other people. I've really been pruning and testing it quite heavily for the past few weeks looking to flush out any bugs/inconsistencies. micron is a header-only C++23 core systems library that runs on Linux without libc, without libm, without the STL, and without any external dependencies at all. Fully freestanding. To my knowledge this is probably the only project of this kind, and the only libc implementation not in C. There _might_ be some Rust libc…
Jun 2026 · github.com
- 22IP
Merry Christmas, everyone! Now you can compile Haskell code on Windows 11 ARM. It will run full speed if you use UTM/QEmu on Apple silicon. :-) It's a very draft version, but it works well. Any ideas?
2024 · gitlab.haskell.org
- 23VN
Greetings HN, I have been working on a new programming language for the last 3 years and thought it was time to share it with some people. The core of the language is done and i have been using it to create all software related to the language: the compiler itself, the website and vman (valk manager, like npm). There's still alot of work todo but was hoping for some feedback. Maybe an interesting feature of the language is (so i think) that it's the first language with a stateful garbage collector. It basically knows what memory goes out of scope and which doesn't without having to scan for…
Feb 2026 · github.com
- 24HM
Hi, I'm Marcus. I've spent the last 15 months or so home-coding on a document database, after work, on weekends (every waking hour). My plans for this particular weekend was to implement log-structured writing. It went faster than I thought and the results were faster querying times and fast, append-only writes. I've been working on this for almost a decade and being this close to the finish line feels surreal. This is my seventh iteration I believe. Everytime I realized I had an architecture built on a bad model I walked away, often in fury, depressed over my weak coding abilities but…
2017
Ranked by how close each launch is in meaning, then by votes. Refine with a description →