Axe
A Systems Programming Language with Builtin Parallelism and No GC
Details
- External ID
- 46037587
- Source
- HN
- Company
- —
- Product
- Axe
- Website domain
- axelang.org
- Launched
- Nov. 24, 2025
- Cohort
- —
- Upvotes
- 16
- Upvotes percentile
- 0.6299126637554585
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:25 p.m.
- Updated at
- Sept. 7, 2026, 9:25 p.m.
Description
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
Enrichment
- Theme
- database infrastructure and developer tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- systems programming language with parallelism
- Manually corrected
- False
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 — 115 launches clear the similarity bar, closest 8 shown.
Attention rank: #51 of 116 (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.52
- Scope-structured arena memory for C, O(1) cleanup, no GC/borrow checker · hn · 2026-04-15 · 5 upvotes · similarity 0.52
- Axe – A 12MB binary that replaces your AI framework · hn · 2026-03-12 · 227 upvotes · similarity 0.50
- A systems language with runtime reflection and no GC · hn · 2025-12-15 · 6 upvotes · similarity 0.50
- Valk · hn · 2026-02-10 · 5 upvotes · similarity 0.48
- sword · github · 2026-09-11 · 14 upvotes · similarity 0.47
- btrc · hn · 2026-03-02 · 5 upvotes · similarity 0.45
- Titan · hn · 2025-12-11 · 49 upvotes · similarity 0.44
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.