Dev tools · alternatives · 2026
24 alternatives to Axiom – A math-native OS where x² is valid syntax (built from scratch)
Hi HN, I'm a 19-year-old aerospace student. I spent the last 13 months building a custom Linux distro from scratch because I wanted to see if we could treat the OS kernel as a mathematical engine rather than a deterministic administrator. The Stack: Flux (The Shell): A custom math-native shell where x² and ∑ are valid syntax. It parses mathematical notation directly into optimized SIMD instructions (no Python wrapper). Tenet (The Scheduler): Written in Tenet (my custom DSL for game theory). The scheduler is a Nash Equilibrium solver compiled to native code. In my benchmarks (Ryzen 7 5800HS),…
Axiom is a custom Linux distribution built to treat the operating system kernel as a mathematical engine. It features Flux, a math-native shell that accepts mathematical notation like x² and ∑ as direct syntax… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
Axiom▲69An extremely flexible node-based realtime audio synthesizer.
2018 · github.com · its alternatives →
- 2MP
I have been working on this game somewhat sparsely for the past three years or so. However, it is still in a very early stage, and there is a lot of work to do. One of my friends encouraged me to post about it here, since he felt people might find interesting how I don’t use any libraries for it. The game can be played on a browser by virtue of WebAssembly. There are native ports using either MiniFB or SDL2, but you have to build those yourself. I decided to write the game in C because I feel like it is a simple language that a lot of people can understand well enough, and I didn’t think I…
2023 · zamfofex.neocities.org · its alternatives →
- 3AN
Automate any website with our no-code tool, our browser automation API, or by describing it to Claude. Axiom runs on our cloud or your machine.
2020 · axiom.ai · its alternatives →
- 4
Open, machine-readable encodings of the world's rules, starting with tax and benefit policy. Cited, time-aware, and executable, so anyone can run, audit, or reform them.
2019 · axiom.org · its alternatives →
- 5IB
We wanted to do something very challenging to prove to ourselves that we can do anything we put our mind to. The reasoning for why we chose to build a toy TPU specifically is fairly simple: - Building a chip for ML workloads seemed cool - There was no well-documented open source repo for an ML accelerator that performed both inference and training None of us have real professional experience in hardware design, which, in a way, made the TPU even more appealing since we weren't able to estimate exactly how difficult it would be. As we worked on the initial stages of this project, we…
2025 · tinytpu.com · its alternatives →
- 6
- 7AR
2021 · guillaume.baierouge.fr · its alternatives →
- 8
- 9
Hey HN, I wanted to share the new online playground for Salt (https://salt-lang.dev/playground/), a sovereign systems language designed for high-performance, distributed workloads where paying an "abstraction tax" is no longer acceptable. We started building Salt to bridge the gap between the raw power of manual pointer arithmetic and the safety guarantees of modern high-level languages. The architecture relies on an MLIR-based backbone and a Z3-powered "formal shadow," and the design is rooted in three main pillars: Fast Enough: The target is to stay within 20% of C's…
Jul 2026 · salt-lang.dev · its alternatives →
- 10
Axiom▲11Local desktop sandbox engine against Client-Side Scanning
Jul 2026 · gabrielgigitashvili044-pixel.github.io · its alternatives →
- 11
A 3D Sandbox Assembly Line Puzzle Game by the Space Chem guy
2015 · zachtronics.com · its alternatives →
- 12SA
Hey HN, I’m a physicist turned quant. Some friends and I 'built' SymDerive because we wanted a symbolic math library that was "Agent-Native" by design, but still a practical tool for humans. It boils down to two main goals: 1. Agent Reliability: I’ve found that AI agents write much more reliable code when they stick to stateless, functional pipelines (Lisp-style). It keeps them from hallucinating state changes or getting lost in long procedural scripts. I wanted a library that enforces that "Input -> Transform -> Output" flow by default. 2. Easing the transition to Python: For many…
Feb 2026 · its alternatives →
- 13
Classic physics engine algorithms — SAT collision detection and Morton Z-curve indexing — become viable on-chain primitives only where the execution model supports dynamic object access at runtime. Here's why EVM, Solana, and Aptos can't run them, and Sui can.
Apr 2026 · docs.merca.earth · its alternatives →
- 14IA
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks.
2023 · i2forge.com · its alternatives →
- 15IB
You know that old TI calculator you used in high school, then put in a box and forgot about? Have you ever wished you had an operating system for your calculator with preemptive multitasking, dynamic memory management, a tree filesystem conforming to the FHS, and all the comforts of Unix? Well, good news: that's totally a thing that exists. I've been working on my kernel for about three and a half years now and I'm looking for new contributors to help out. It's written entirely in z80 assembly, and it's both challenging and fun to work on. There's an IRC channel for contributors or people…
2014 · its alternatives →
- 16
Unified Simulation Swarm AI, Raycast Shadows & Rust ECS
Jun 2026 · github.com · its alternatives →
- 17IM
just a wack systems dude tbh
2018 · h313.info · its alternatives →
- 18
High quality, Fully Free Lovable / v0 alternative.
Feb 2026 · axiom-coder.vercel.app · its alternatives →
- 19AC
I've been building a C++ tensor library that tries to bring the ergonomics of NumPy/PyTorch to native code. The main goals were: - Familiar API (operator overloading, method chaining, same function names) - Actual GPU acceleration via Metal (not just matmul, but all ops) - Cross-platform with SIMD on x86/ARM/RISC-V via xsimd - einops-style rearrange/reduce patterns It started because I wanted NumPy's API but needed to deploy on edge devices without Python. Ended up going deeper than expected (28k LOC+) into BLAS backends, memory views, and GPU kernels. Some things I'm…
Feb 2026 · its alternatives →
- 20FT
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 · its alternatives →
- 21
An experimental computer algebra system written in Go - corywalker/expreduce
2017 · github.com · its alternatives →
- 22
GitHub: https://github.com/TeamHypersomnia/Hypersomnia - The netcode relies on full simulation determinism - this includes Box2D physics. I'm using standard floating-point calculations and rely on IEEE754 compliance. I also use STREFLOP for portable math function implementations. This is commonly done for RTS games with a lot of synchronized units, however this technique is rarely if ever seen in games with complex physics, esp. shooters. - The atlas packer I wrote for the game was reused in Assassin's Creed, Skydio and received 2 scientific references:…
2024 · hypersomnia.io · its alternatives →
- 23
I didn't realize Universe Sandbox ran on MacOS, and I was in the mood to play around a bit. Some functions it's got: - Random system generation - Sonification is super fun too - Habitability Simulation (Just for fun, don't cite this please) - Replacing, spawning, deleting objects I've had tons of fun building this, so I hope someone else can share the joy. It's free and runs in the browser. I'd love to hear any feedback. I think this is at a state where I might leave it as it is, but if people are interested in other features, maybe I'll keep working on it. I've kept saying I'll stop working…
Dec 2025 · luna.watermelonson.com · its alternatives →
- 24
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…
Aug 2026 · lunarbasic.com · its alternatives →
Also compare
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 →