Alternatives
Products that do what Symbolica – Try our symbolic code executor in the browser does
We're a couple of software engineers who believe that to build great software you need to write good tests, but we also sympathise when engineers say things like: - "Writing tests was too time consuming on my tight schedule", or - "Unit tests don't catch enough bugs, so they're useless", or - "I've inherited a legacy code base without tests and have no idea where to start" To tackle this we're building Symbolica (https://www.symbolica.dev), a symbolic code executor [1], that lets you run your code for all possible inputs. This means you can do things like: - Assert properties about…
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8GS
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
- 9
- 10IT
I created http://devtest.net as a weekend project, and I'm pretty proud of it from a technical and UI standpoint. The problem is, I've built this by myself in a bit of a vacuum, to "scratch my own itch", and I don't know if this is useful to anyone other than me. I'm also not so hot on the business side and don't really know what I'm doing. Basically, I'm looking for some advice, now that I've actually launched, what now? One thing that this has shown me is that I'm capable of putting together a pretty decent web application on my own in my spare time. Should I stick with this idea, or…
2012
- 11AC
I always strive to write better, clean and readable code. But I often find unit tests are hard to read, and especially harder to quickly identify what are the important pieces, or even what the test is testing about. So I came up with this lightweight library to help enforce unit tests with a Given-When-Then structure. I hope you find this useful. Any feedback are welcome. https://github.com/cobrakai-lab/Cobrakai.GWTUnit
2021
- 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
- 13
Turn plain text into automated tests in minutes.
20d ago · text2test.ai
- 14IW
Background: I've been working on a book to help developers learn and write idiomatic Python. It's taken far longer than I imagined, but today I made it available for purchase (http://www.jeffknupp.com/writing-idiomatic-python-ebook). The automated build and test system I'm using is ridiculous. It uses: virtualenv, tox, pytest, coverage, doctest, pandoc, make, xelatex, makeindex, and a ~200 line Python script to collect and format the output. The details of the build/test system I created are described in detail here:…
2013
- 15TS
Code review is the new bottleneck. "Tests passing" is no longer sufficient to trust the changes, and the (human) cost of evaluating the quality and robustness of new agent-written contributions is skyrocketing. We built Topos to evaluate code quality based on the structural properties of the programs themselves. We map your files to graphs (AST, CFG, CPG, MDG) and calculate metrics that can characterize how simple, composable, or secure your programs are. Agents can use this tool as they write and optimize based on your preferences. And yes, the inspiration for the repository is from…
Jun 2026 · krv.ai
- 16IB
For the last 6 months, I've been building ORUS Builder, an open-source AI code generator. My goal was to fix the biggest issue I have with tools like v0, Lovable, etc. – they generate broken, non-compiling code that needs hours of debugging. ORUS Builder is different. It uses a "Compiler-Integrity Generation" (CIG) protocol, a set of cognitive validation steps that run before the code is generated. The result is a 99.9% first-time compilation success rate in my tests. The workflow is simple: 1.Describe an app in a single prompt. 2.It generates a full-stack application…
Nov 2025
- 17CR
I built Code Review Lab to help engineers practice secure code review skills. Many friends looking to switch into AppSec struggled with interview code review exercises. While there are great resources for other interview types, I couldn't find a good platform focused specifically on secure code review. The platform offers interactive challenges where you review actual vulnerable code snippets (Go, PHP, etc.) and identify the exact lines with security issues. Each challenge includes context about the application and hints to guide your learning.
Jan 2026 · codereviewlab.com
- 18ET
Hey Hacker News, For the last 2 months, I've been working on a testing agent to free developers from the endless maintenance of end-to-end tests. You just push up a PR, and our agent analyzes the code changes and automatically visits the preview to test things out like a real human! We also support describing tests in English (or even in the PR description), and we'll go through your site whenever you want via a GitHub action to test and make sure various core flows continue to work as expected. We are looking for early testers and are giving out a generous free tier! Just sign up on the…
2025 · playmatic.ai
- 19IB
Hi HN, A lot of the dev teams I have worked with had a lot of issues with their documentation. In fact, some of my easiest clients to get were from clients that had "black box" solutions that devs no longer at the company had created. Personally, writing documentation is like grinding nails on a chalkboard. I have been having a lot of fun with building solutions that can run in a distributed way, not something a dev needs to run themselves. And after a significant amount of testing and building out several different solutions, I finally have a solution that is easy to set up and runs in the…
Dec 2025 · codesummary.io
- 20WC
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
- 21SY
Hi everyone, I frequently work with certificates during software development. To make my life easier, I've created a few simple tools that others might find useful as well. I've compiled a tutorial for them and would like to share it with you.
2024 · github.com
- 22EC
I participated in the Nvidia + Vercel 2 hour hackathon in SF tonight, and built something I've wanted, but hadn't tried building. I implemented an MCP Server and VS Code extension to allow Claude Desktop to place breakpoints, step through code, and execute expressions (assuming language support). So you can ask it a question that requires actually stepping through the code and now it can actually do that - check values for you, etc. It's _definitely_ not perfect. Have improvements? Please make a PR!
2025 · github.com
- 23BY
Hey HN! I spent the last year building a programming challenges site targeted at intermediate/advanced programmers [1]. Challenges follow the "Build your own X" format, where you learn about a popular open source tool by building a small version yourself (popularized by this Github repo [2]). The primary difference compared to other coding challenge websites like Codecademy, HackerRank, Exercism etc. is that we offer real-world programming challenges - no inverting binary trees here! I've posted about this multiple times here before, but haven't managed to gather much interest. Trying…
2021
- 24IL
VSCode was my daily driver for years, but once I started running several coding agents across multiple projects at the same time, it got in the way. One workspace with terminals in the bottom tray, no idea which agent was doing what and I found myself needing all the code editing tools less and less. So I built my own IDE around that workflow. Terminals are a first-class citizen, every project stays alive in the background with visual statuses. Close the workspace and come back weeks later, everything is still in its place. I've been using it for weeks and it's a big productivity boost. The…
Jul 2026 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →