Life & fun · alternatives · 2026
24 alternatives to A dependently-typed programming language with static memory management
A functional programming language with static memory management - vekatze/neut
A dependently-typed programming language with static memory management that launched in 2020. It's designed for developers who need both type safety and explicit control over memory allocation without garbage… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. A dependently-typed programming language with static memory management launched in 2020; newer entries below may have overtaken it.
- 1
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.
2020 · github.com · its alternatives →
- 2FS
Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…
Aug 2026 · fuselang.org · its alternatives →
- 3
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
- 4
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 →
- 5
I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
2025 · github.com · its alternatives →
- 6
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 7
Let-go is a Clojure-like language (~90% compatible with JVM Clojure) written in pure Go. It ships as a ~10MB static binary and cold boots in ~7ms - that's about 50x faster than JVM and 3x faster than Babashka. It has decent throughput on algorithmic workloads - within ballpark of the GraalVM-backed sci. I started this project in 2021 as an elaborate practical joke: I wanted to have an excuse for writing Clojure while pretending to write Go. Jokes aside, it turned out to be pretty decent: it feels like real Clojure, it has an nREPL server (supported in Calva, CIDER, etc.), it's easily…
May 2026 · github.com · its alternatives →
- 8
Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 9
An implementation of a dynamic programming language in Rust. Includes: Parser/Compiler, REPL, Virtual Machine, Bytecode Disassembler This started out as a learning project to teach myself Rust. It has grown into a decently substantial piece of software and I've learned quite a bit in the process! Some neat things: + A garbage collector that can store dynamically sized types without any double-indirection (i.e. I have my own Box implementation with manual alloc/dealloc) + The smart pointer used to reference GCed data is a thin pointer. The ptr metadata needed for DSTs is stored in…
2022 · github.com · its alternatives →
- 10
The Nim programming language is a concise, fast programming language that compiles to C, C++ and JavaScript.
2016 · nim-lang.org · its alternatives →
- 11
Moved to Forgejo! Contribute to krig/LISP development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 12
So i've been working on this project since a few days (or months i should say), it's called wyzer (meaning wiser) it's a statically typed, compiled, resource-oriented programming language with integrated distributed safety via choreographic programming and perceus memory model, The reason why i began this project is out of frustration from Rust, you see it does provide safety for your memory by the strict type checking but what it does not gurantee safety against are distributed deadlocks which is basically a few independent nodes or services wait permanently for resources or messages held…
Aug 2026 · github.com · its alternatives →
- 13
A few weeks ago I saw a post about someone converting an entire C++ codebase to Rust using AI in under two weeks. That inspired me — if AI can rewrite a whole language stack that fast, I wanted to try building a programming language from scratch with AI assistance. I've also been noticing growing global interest in Korean language and culture, and I wondered: what would a programming language look like if every keyword was in Hangul (the Korean writing system)? Han is the result. It's a statically-typed language written in Rust with a full compiler pipeline (lexer → parser → AST →…
Mar 2026 · github.com · its alternatives →
- 14GI
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 →
- 15
2017 · craftinginterpreters.com · its alternatives →
- 16
I spent the past 2 weeks making this toy programming language. I basically forked the Go scanner/parser, and changed the syntax to have functions return a single value. This enable proper Result/Option type to be used as well as propagating errors with an operator. I also wanted to have short "type inferred" anonymous functions to be able to use functions like Map/Reduce/Filter, without having to use 100 characters to specify the types.
2025 · github.com · its alternatives →
- 17
See what it’s like to program in a language without null.
2015 · books.thoughtbot.com · its alternatives →
- 18
Sage is a Rust-like programming language built on a brainfuck-inspired VM with LLVM-like properties. https://github.com/adam-mcdaniel/sage Check out the web-demo to run the compiler in the browser, along with a graphical example using JavaScript interop! https://adam-mcdaniel.net/sage Sage is designed to be portable, but also useful. To prove its usefulness, I used it to implement a user-space for a new operating system: SageOS https://github.com/adam-mcdaniel/sage-os The language also runs on embedded devices, like the flipper zero!
2024 · github.com · its alternatives →
- 19
This is an introduction to the "Nature" project: https://nature-lang.org/docs/getting-started/meet-nature I am the author of the Nature language, and today I have released the 0.4.0-beta version. For detailed updates, please see https://nature-lang.org/docs/prologue/release-notes Now, Nature can easily interact with C language. It is anticipated that in about six months, Nature will release a version available to the community. By then, there will be stable syntax API, a complete standard library, and support for development tools. Moreover,…
2025 · github.com · its alternatives →
- 20
A lightweight programming language built with Go. Contribute to confh/Tiny development by creating an account on GitHub.
Jun 2026 · github.com · its alternatives →
- 21
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
- 22
Clio is a functional, parallel, distributed programming language.
2019 · clio-lang.org · its alternatives →
- 23
This is a hobby project of mine that I started a few years ago to learn about programming language implementation. It was created 95% without AI, although a few recent commits include code from Gemini CLI. I started out following Crafting Interpreters, but gradually branched off that until I had almost nothing left in common. Tech stack: Rust, Cranelift (JIT compilation), LALRPOP (parser). Original title: "A small programming language where everything is a value" (edited based on comments)
Jan 2026 · github.com · its alternatives →
- 24
A small forth-like language that targets the CPython VM. - llllllllll/phorth
2017 · github.com · its alternatives →
Also compare
- Micro-mitten – Research language with compile-time memory management alternatives
- Fuse – statically typed functional programming language alternatives
- Dependently typed language for proofs that you can implement in one day alternatives
- ScrapScript – A tiny functional language for sharable software alternatives
- Bolt – A super-fast, statically-typed scripting language written in C alternatives
- Peridot – A functional language based on two-level type theory alternatives
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 →