Alternatives
Products that do what Oneil, design specification language for rapid system modeling does
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…
- 1OA
Hi, I’m the technical founder of OneGen. I've been a software engineer for over a decade, but it wasn't until the pandemic that I decided to take a leap of faith and build an innovative solution to designing data models. Most applications & SDKs support more than one platform. And for each platform, software engineers write and maintain the same (or similar) data models. I thought that if I could design data models completely independent of a database or a programming language in a way that allows versioning and collaboration and then generate the model code for whatever the technology stack…
2022 · onegen.io
- 2
- 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
- 4SF
Hi HN! We are the team behind Spacelift (https://spacelift.io/). Spacelift is the CI/CD for infrastructure-as-code, be it Terraform, Pulumi, CloudFormation or Ansible (coming soon), and policy as code. It enables collaboration, automates manual work and compliance, and lets teams customize and automate their workflows. Here’s what you can do with Spacelift - Build sophisticated Git-based workflows - Use Open Policy Agent to declare rules around your infrastructure, access control, state changes, and more - Author and maintain reusable modules for your organization; we…
2021
- 5FT
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
- 6LI
Hi HN! I kept hearing about Lisp and why it was special but didn't have a great place to start. I wanted something self-contained that helped me develop intuition rather than fluency. My hope is this is helpful for casual programmers, professionals from other fields who interact with code, or engineers who haven't had much exposure to interpreters or compilers. Hope this helps anyone else who's curious about getting a sense of Lisp and what makes it special with a limited time investment! Feedback or other cool Lisp things welcome :)
2022 · github.com
- 7AA
I’ve had this idea for a new code editor chord grammar bouncing around in my head for over 2 years, and now I can finally release v0.1 of ane. You can run it one-shot from scripts or agents (`ane exec —chord…`) or use its full-on TUI editor. ane is pure Rust, and integrates tree-sitter and LSP to provide a pleasant and predictable terminal code editing experience. I’d love folks to try it out and give feedback! Thanks :)
May 2026 · github.com
- 8MA
This weekend I built a multi-agent coding system which, quite unexpectedly, beat Claude Code on Stanford's Terminal Bench! The architecture is straightforward, consisting of an orchestrator agent that deploys explorer & coder subagents to complete complex terminal based tasks, utilising an intelligent context sharing mechanism along the way which makes it all work. The repo has a lot of technical details, and all the code and prompts for you to play around with if you'd like! I had a lot of fun making this, I hope you have fun reading the README, using it yourself, or even extending it! As…
2025 · github.com
- 9MW
Hey HN check this really cool worlde-inspired project of a friend of mine. :)
2022 · mathle.bykiru.rocks
- 10OA
Hi HN, I’m Mike, the founder of OpenRig. I built this because my Claude Code + Codex setup kept forming little "topologies" of long-lived agents that worked well together, but the terminal sprawl was intense. So I built a primitive the agents could intuitively reach for to save and recreate these setups on the fly. This then led to more agent-first primitives like coordination, declarative workflow patterns, workspaces, etc. Several months in and these "rigs" I manage with openrig require a lot less babysitting and I can manage more projects at once without getting overwhelmed. The short…
May 2026 · openrig.dev
- 11IM
Hey HN! Thank you for all the support and feedback on my original submission 2 months ago. I've been improving the backend using a MCTS/AlphaZero approach and it's currently producing much better results. My long term goal is to allow users to manage multiple projects, deployed autonomously, both from scratch and by making continual updates all prompted with natural language. The cost of each project has been lowered to $9 as performance with smaller models has improved (I migrated from Claude-3-Opus to gemini-1.5-flash). Thanks for checking it out!
2024 · saas-quick.com
- 12IB
The main goal of this was to be able to not just run multiple Claude Code sessions at once, but actually manage them and keep track of what I was doing. Sometimes this is multiple attempts on the same task, sometimes I work several tasks at once. Really I was just sick of twiddling my thumbs waiting for the coding agent to finish, and I wanted it to be easy to work on/review/test another change while I waited.
2025 · github.com
- 13MA
Hey HN! We’re Oliver Gilan & Ben Warren and today we’re launching Mesa (https://mesa.dev) into public beta to help large engineering teams review code more effectively. There are plenty of code review agents that exist but we found that they fall short in a number of ways. They don’t… - Let you tailor the reviews with enough fidelity - Give you control over the models used. If a new foundation model is released I might want to try it! - Align the costs effectively Mesa solves these problems with a multi-agent architecture where you define custom review agents that specialize in…
Nov 2025
- 14S2
Hi HN! I'm one of the creators of Specify, and we're thrilled to share this on HN. I must admit, I'm quite nervous about sharing Specify here, but I was also eager to get your feedback. We've been working on design systems for several years now, so my main focus is on designers and front-end developers, or anyone working with web interfaces. Less than two years ago, we launched Specify 1.0, which allowed designers and developers to connect their Figma files, extract styles and assets, transform them, and deliver them to developers' tools in the desired formats. In addition to working with…
2024 · specifyapp.com
- 15NT
I built a CLI tool that turns codebases and PRs into diagrams so you can quickly understand how things fit together. Originally made it because I couldn't follow my own AI-generated repos. Just shipped a big update: - Switched from D2 to Mermaid for rendering - Tree-sitter AST parsing + agentic flow instead of raw LLM calls. ~50x faster. - Works on any GitHub repo or PR, not just local - Dropped the web frontend, it's just a CLI now - Published as a pip package Still a ton to improve and I'm building fast. Feedback, issues, PRs all welcome.
Feb 2026 · github.com
- 16GS
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
- 17CA
I built this because I was tired of creating pull requests in 20 repositories just to change a single line of workflow job version. With Infra as AI, just mention the change. Agents work on all repos in parallel, read the docs, make a bunch of PRs and fill in the description. You can see the demo of the actual dashboard in the landing. Let me know your thoughts :) It means a lot to me!
Sep 2025 · infrastructureas.ai
- 18WC
Hi all, I'm Ivan, and together with Alex, we're building a diagram visualization tool for codebases. Alex and I are devs, and we've noticed that recently we've been super productive at writing code (prompting :D). But when it comes to understanding big systems, prompting doesn't work that well — for that, diagrams are best imo. Most tools out there don't scale to big projects (e.g. PyTorch), so we're building CodeBoarding — a recursive visualizer for codebases. It starts from the highest level of abstractions and lets you dive deeper. We use static analysis and LLM agents. The control-flow…
2025 · github.com
- 19LA
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
- 20AR
Hi HN, I’m sharing a small open-source project I’ve been working on: a native C++ ballistic solver that computes launch angles to intercept moving targets in real time, under gravity and air drag. Instead of relying on vacuum assumptions, closed-form equations, or lookup tables, the solver formulates the intercept as a nonlinear problem and solves it numerically using time integration and iterative methods. The motivation came from game and simulation scenarios where simpler approaches tend to break down: - moving targets - strongly curved trajectories due to drag - real-time constraints The…
Jan 2026
- 21PA
I'm excited to share "take 2" of the Prela query language. After sharing the previous version here, I've received some valuable feedback, the main one being the weird unicode-based syntax throwing people off. Prela now has a more familiar SQL-like syntax while adhering to the algebraic principle, which makes the language compositional and controllable, all the while keeping the core engine under 1k lines of code. The engine has also been rewritten from Julia to Rust, resulting in both simpler code and faster performance (not just because "Rust fast Julia slow", but for some pretty deep…
Jun 2026 · prela-lang.org
- 22TN
Hi guys, I’m excited to share an update on ReproModel, an open-source toolbox designed to streamline the testing and reproduction of machine learning models. I, like many of you, have really struggled with benchmarking and comparing models, from missing code, to opaque experiment parameters slowing the process. I decided to take matters into my own hands, and created a mini-toolbox in my free time to streamline the process. The goal is to reduce the time and effort spent on replicating experiments, enabling researchers to focus on innovation rather than setup. Knowing this task is not an…
2024 · github.com
- 23AA
I initially wrote axil to help inspect and run queries against syntax trees for my treesitter-based language server implementation (https://github.com/terror/just-lsp), and have been working toward making this into something more useable :)
Mar 2026 · github.com
- 24RA
A friend and I spent a month throwing together a visual rule engine product– wanted to share it with HN today. I've been building automation tooling for a few years at prefix.app and one of the messier things both to support and to teach users was around encoding logic in their automations– most folks get a hold of the basic concepts quite easily, but every (visual) automation tool out there seems to have their own way of actually pulling it all together. For small decisions those work great! But for bigger decisions and more complex logic we don’t think it makes much sense to be embedding…
2022 · rulebricks.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →