Alternatives
Products that do what Valk – new programming language with a stateful GC does
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…
- 1MM
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
- 2AS
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
- 3LP
Hi! I am doing a learning project, attempting to build an imperative language (and interpreter). The end product will be useless for others, I just want to learn and better understand how to build imperative languages. :) If someone else shares this interest and want to give some good hints on good resources I would be grateful. Currently I am looking at an awesome text by Bob Nystrom. All suggestions and tips on resources are most welcome. I am very much a beginner in this, but I find this topic very fascinating. Mail me or post links here! Cheers! You can try a beta version Online at…
2020
- 4IA
Hi there. I'm working on a programming language -- called Ink - in my spare time, with a friend. It uses LLVM for the backend, the parser and lexer are both hand written in C. The project is just for a bit of fun, we aren't trying to "revolutionize the programming language", but we're okay with being a bit quirky and out of the box with some of the syntax/features in the language. At the moment, the language is in it's early stages, and there's still a lot to do, which means that if you want to learn more about compilers, now would be a good time to start working on the language, since…
2015
- 5GA
I started working on this back in 2019, mostly as a design idea. Over the last month I made a big push to make it 100% usable and replace C# in all my personal projects. I now feel it's solid enough to gather feedback from other developers. If you take it for a spin, I hope you enjoy it and send your thoughts!
Jun 2026 · davidobando.github.io
- 6TJ
After 6 years of coding almost every day, I'm finally ready to show HN. There's a lot going on here, looking forward to your guy's feedback.
Jul 2026 · jaclang.org
- 7IB
Hello, I'm the author of the nature programming language, which has reached an early usable version since its first commit in 2021 until today. --- Why implement such a programming language? go is a programming language that I use for my daily work, and the first time I used golang, I was amazed by its simple syntax, freedom of programming ideas, ease of cross-compilation and deployment, excellent and high-performance runtime implementations, and advanced concurrency style design based on goroutine, etc. But, golang also has some inconveniences - The syntax is too concise, resulting in a…
2025 · github.com
- 8MP
My weekly(ish) video logs tracking my progress of building a completely sound statically typed language and structural editor. The motivation is to make lots of invalid programs unrepresentable.
2022 · petersaxton.uk
- 9SA
I’m building Solnix, an experimental programming language as a learning + research project. It’s still early, and many design decisions (syntax, types, tooling) are intentionally not fixed yet. My goal right now is feedback, not promotion: What design mistakes should I watch out for? What usually makes new languages hard to adopt? What would you avoid if you were starting today? Repo & docs: https://solnix-lang.org/ I’d really appreciate honest criticism. Thanks for your time.
Feb 2026 · solnix-lang.org
- 10GA
Hello HN! These last few months I've been working on my first open source project: an embedded database written in pure-go. That took me some months, as I had to learn how to deal with such large packages. Until then, all packages I had made were quite small an did not require much. I usually did not have to worry about things like allocation optimization and instance pools until This project. It started when I wanted to make a port of a tool to a TUI environment. I'm actually used to working with TUIs in golang, so that was my language of choice. The tool I wanted to port is written in…
Feb 2026
- 11GA
hi hn, today I'm open sourcing a new SQL-like query language that's built for the web. it has dedicated syntax for request, parsers, selectors, and javascript snippets... it was built on nodejs with the incredible moo lexer and nearley parser. if you're a fan of regular expressions, do I have some code to show you! the website is mostly just a few examples and a playground where you can write & run (& share!) your own queries. there's also an introductory blog post where i try but ultimately fail to justify why this should be its own language and not a library/framework. enjoy!
2024 · getlang.dev
- 12RV
I personally haven't event used or looked at Rust so I don't have an opinion. So now I'm interested hearing what others think? I think the syntax of Rust isn't very appealing, but that's not a good reason to /not/ look at it. Convince me? :)
2018
- 13
I built LunarBasic because I wanted a modern recreation of BlitzBasic from back in the day. I wanted it to have good step debugging features, and I wanted it to compile down to a native binary with no external dependencies. I do know there's an open source BlitzBasic out there but I wanted something simpler and more concise. It does have a "pro" feature set, but for the foreseeable future, anyone joining up will have the pro version in perpetuity (eg I'm not trying to sell anything here). It's early (v0.8.0). Would love feedback on the language design and compiler output, especially from…
13d ago · lunarbasic.com
- 14A1
I've seen a lot of comments about how complex frameworks like LangChain can be. Over the holidays, I wanted to see how minimal an LLM framework could get if we stripped away everything non-essential. The result is an LLM framework in just 100 lines of code. These 100 lines capture what I see as the core abstraction of most LLM frameworks: a nested directed graph that breaks down tasks into multiple LLM steps, with branching and recursion to enable agent-like decision-making. From there, you can layer on more advanced features like agents, RAG, task decomposition, and more. I’ve intentionally…
2025 · github.com
- 15AC
2021 · gist.github.com
- 16MA
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
- 17SA
I've been working on a new programming language for AI agents. I would love your input on what makes programming languages good for AI agents, especially syntax, compiler, and tooling that could help AI agents write code. What makes Sigil good for coding agents? I've turned conventions into compiler rules whenever possible. The compiler owns the canonical printer and every AST has one accepted textual representation. For almost every syntax feature I tried to save tokens. Order and naming conventions are enforced. No more "I think this argument is important so it should come first." Most…
Apr 2026
- 18LM
This is my side project for the past few months. I started it because I just learned about functional programming and at the same time want to write something cool in C. Web playground: https://leonw774.github.io/lreng
2025 · github.com
- 19GS
I've worked on several projects writing and implementing specifications (particularly CLN): I've found the specs I write are much better when I quote them in the implementation, so I can see what implementers need to know. Also, when specs change in development, it's almost trivial to find where to update the code. This project is a formalization of my various hacky scripts which ensure the requirements are accurately quoted, and give coverage if any are missing. Not a major Opus, but I hope someone else finds it useful!
Jul 2026 · greatspectations.org
- 20FI
Hi all! I built FlipJump, a programming language with just 1 opcode, yet capable of any computation. It started with thinking of the idea of the minimalistic language, but it's more than that - I had to set up the whole environment for it: I have written a macro-assembler, an interpreter for the binary, and a very extensive standard library. I also written about ~30 programs in it. Also, the standard library is tested. I also wrote an esolangs page: https://esolangs.org/wiki/FlipJump Tell me what you think!
2023 · github.com
- 21TA
Hi HN, I'm Matt, CTO at STUDIO HAZE in Seoul. I've wanted to build a programming language for twenty years, ever since Ruby got me wondering what a small language out of Korea might look like. Today I'm opening the repo for the first time, as Topaz v5.2. Topaz reads like Python or TypeScript, runs on a reference interpreter (topaz run), and builds a self-contained native binary by lowering to Rust, then handing off to the Rust toolchain (topaz build). function factorial(n: int) -> int { if n string { return "안녕하세요, {이름}님!" } print(인사하기("토파즈")) // 안녕하세요, 토파즈님! sql, sh, and path…
Jun 2026 · github.com
- 22LA
Hello HN, I am building a devtool to understand existing codebases. The idea originates from my time at big tech as well as various attempts to get involved in open source projects. When I was in college I wanted to improve my coding skills by contributing to opensource projects. I would pickup a bug or feature request but I always found myself stuck at the very first step. I did not understood where and how to begin contributing. I once submitted a patch in firefox which was labeled "Good first issue" but that was still very handheld. The assigner told me exactly which files I need to…
2024 · lucidcode.ai
- 23RA
Hi, I've made a Dis virtual machine and Limbo programming language compiler (called RiceVM) in Rust. It can run Dis bytecode (for example, Inferno OS applications), compile Limbo programs, and includes a fairly complete runtime with garbage collection, concurrency features, and many of the standard modules from Inferno OS's original implementation. The project is still in an early stage, but if you're interested in learning more about RiceVM or trying it out, you can check out the links below: Project's GitHub repo: https://github.com/habedi/ricevm RiceVM documentation:…
Apr 2026
- 24OD
Hi all! I've been doing spacecraft system engineering since grad school and got to keep doing it after school at Care Weather. I tried several approaches for keeping hundreds of napkin math equations and connected simulations up-to-date, but none of them were both reliable and easy to use. To solve that, I made Oneil, a design specification language with clean syntax for specifying and evaluating math describing a complex system. Oneil has been really helpful as we design one satellite iteration after another for ground testing and spaceflight. I'm really interested in hearing feedback and…
2024 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →