Axe
A Systems Programming Language with Builtin Parallelism and No GC
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
I'm writing a compiler for a systems language focused on concurrency and parallelism. It’s a re-engineering of a prior work, with an explicit emphasis on memory management and type safety, plus first-class parallel primitives at the language level.The language is now capable of compiling a substantial portion of its own source code to tokens using a single-pass C back-end. The self-hosted compiler includes a handwritten lexer and a parser, with an arena-based allocator to support fast compilation and eliminate GC complexity.The primary goals for the project are: First-class parallel and concurrent constructs built directly into the language, strong static memory and type guarantees, and a toolchain suitable for building high-performance softwareExample: def main() { parallel local(mut arena: Arena) { arena = Arena.create(1024); val tid = Parallel.thread_id(); val result = worker(ref_of(arena), tid); println $"Thread {tid} computed {result}"; Arena.destroy(ref_of(arena)); } } You can find the repository here: https://github.com/axelang/axe
HN · launched Nov 24, 2025 · 16 upvotes (top 37%) · 0 views
Niche: programming languages and interpreters · 161 launches, 2 in the last 7 days ▼ -75% · Explore this niche →
Category and tags
- Horizontal
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 161 launches in programming languages and interpreters →
Could you build this?
No Creating a compiled systems programming language with novel memory management, static type safety, and first-class concurrency primitives requires advanced compiler theory and systems engineering.
What it would actually take: The project requires a compiler pipeline built in Rust, C++, or OCaml featuring a lexer, parser, semantic analyzer with custom ownership/borrow or region inference, an intermediate representation (IR), and an LLVM/native code-generation backend. The critical bottleneck is designing a formal, sound type system that guarantees data-race freedom without a garbage collector alongside a work-stealing runtime. Requires senior compiler engineers and programming language researchers.
Discussion
5 comments analyzed.
Competitors mentioned: C++
Concerns raised: Pointer lifetime management and use-after-free prevention, Spatial memory safety with pointer arithmetic, Concurrent access and pointer invalidation, Memory safety guarantees, Performance/compilation speed
Feature requests: RAII destructors, Type and function templates, Generic overload system improvements
Competitors
Other products that read as similar to this one : 260 launches clear the similarity bar, closest 8 shown.
Attention rank: #110 of 261 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 23 days after the earliest competitor.
- Mach · hn · 2026-06-08 · 32 upvotes · similarity 0.54
- Scope-structured arena memory for C, O(1) cleanup, no GC/borrow checker · hn · 2026-04-15 · 5 upvotes · similarity 0.53
- Axe – A 12MB binary that replaces your AI framework · hn · 2026-03-12 · 227 upvotes · similarity 0.52
- A systems language with runtime reflection and no GC · hn · 2025-12-15 · 6 upvotes · similarity 0.51
- Axeon · ph · 2026-10-21 · 1 upvotes · similarity 0.51
- Valk · hn · 2026-02-10 · 5 upvotes · similarity 0.50
- sword · github · 2026-09-11 · 14 upvotes · similarity 0.49
- btrc · hn · 2026-03-02 · 5 upvotes · similarity 0.47
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.