Alternatives
Products that do what Isomorƒ, an experimental software development paradigm does
Hi HN! We’re the founders of isomorƒ (https://isomorf.io), an experimental software development paradigm. isomorƒ is a structured cloud IDE designed around the ideas of functional programming and serverless architecture and built to reduce barriers to entry and increase developer efficiency. We wanted to see if we could reimagine the software development process in a way that would be more automated and assistive, less redundant, and more flexible. Drawing heavily on the concepts of functional purity, static typing, and statelessness, our premise was to design a simple, "low power"…
- 1SN
2021 · skruv.io
- 2AA
2018 · amp.rs
- 3OA
I built this over the weekend after reading about StrongDM's software factory (their writeup: https://factory.strongdm.ai/, Simon Willison's deep dive: https://simonwillison.net/2026/Feb/7/software-factory/, Dan Shapiro's Five Levels: https://www.danshapiro.com/blog/2026/01/the-five-levels-from...). OctopusGarden is an open-source implementation of the pattern StrongDM described: holdout scenarios, probabilistic satisfaction scoring via LLM-as-judge, and a convergence loop that iterates until the code works; no…
Mar 2026 · github.com
- 4SB
*Motivation* Hi hackers, I'm Asif. I know we dislike premature standardization, but hear me out. LLM Application development is extremely iterative, more so than most other types of application development. We need a process that allows us to iterate faster. LLM Development is highly iterative due to the activities that come with regular software development, as well as the need to make the LLM Application accurate and reduce hallucination. To improve hallucination, we need to trial and error various combinations of LLM models, prompt templates (e.g., few-shot, chain-of-thought), prompt…
2024 · github.com
- 5AF
Announcing: ADAPT Framework ALPHA release and demo ADAPT Framework is a developer toolkit for replacing a centralized web back end with a decentralized mesh of interconnected data nodes. ADAPT is an easy way to build non-custodial internet applications for document sharing, messaging, credential management, medical data sharing, and other similar use cases. ADAPT enables developers to create data nodes that work identically on the front end and server side. All business logic that was traditionally placed into the back-end of an application can now be implemented by defining the behavior of…
2023 · github.com
- 6NB
Hey everyone, Daniel here. I’m building an open source framework that makes it easy to code and deploy serverless applications – https://github.com/notation-dev/notation | https://notation.dev. I wanted a tool that delivers the benefits of serverless (scalable managed services), but with a first-class developer experience. Here are the main concepts: 1/ Notation provides a set of primary infrastructure resources (eg API gateway, lambda, event bridge etc) that can be composed together into serverless apps. They are fully typed, so slot into place very…
2024 · github.com
- 7UA
I've been using LLMs for long discovery and research chats (papers, repos, best practices), then distilling that into phased markdown (build plan + tests), then handing those phases to Codex/Claude to implement and test phase by phase. The annoying part was always the distillation and keeping docs and architecture current, so I built Unpack: a lightweight GitHub template plus docs structure and a few commands that turns conversations into phases/specs and keeps project docs up to date as the agent builds. It can also generate Mintlify-friendly end-user docs. There are other…
Feb 2026 · github.com
- 8FS
Hi everyone! I've been loving building with AI, and over the past few years I've been leaning more and more into Typescript (and bun). My team at inference.net is constantly trying to get more leverage out of AI and find ways to setup our codebase to be able to increase the level of correctness that our AI is able to write code at. This starter repo is a very opinionated way to lay out a repo to lean into AI heavily. It leverages Cloudflare Workers as a deployment target for the API (my goal is to never have to deploy an API on a AWS/Azure/GCP server ever again unless I get to a…
2025 · abeahmed.com
- 9CA
Hi HN, I've been working with LLMs in production for a while both as a solo dev building apps for clients and working at an AI startup. The one thing that always was a pain was to pay OpenAI/Gemini/Anthropic a few dollars a month just for me to say "test" or have a CI runner validate some UI code. So I built this server called ChunkBack, that mocks the popular llm provider's functionality but allows you to type in a deterministic language: `SAY "cheese"` or `TOOLCALL "tool_name" {} "tool response"` I've had to work in some test environments and give good results for experimenting…
Nov 2025 · github.com
- 10IM
I spent the past few weeks making an open source cloud code editing environment with an AI copilot and multiplayer collaboration! It's fully self-hostable in 5-10 minutes. There's a lot of minor improvements to be made, and some are already listed in the Github issues. Let me know what you think and feel free to try it out.
2024 · github.com
- 11IM
Hi HN, I built Hypermod to help developers automate large-scale code migrations. If you've ever had to upgrade dependencies, refactor thousands of files, or apply the same fix across multiple repos, you know how painful and time-consuming it can be. Hypermod makes this process faster and more reliable by combining static analysis, AI-powered codemods, and GitHub automation. Why I Built This I've spent years working with large codebases where upgrading dependencies or migrating frameworks was a nightmare—lots of manual work, brittle scripts, and coordination across teams. Existing tools like…
2025 · hypermod.io
- 12AO
A couple of years ago, we had an interesting idea. When a development team within an organization consists of around 10 members or fewer, controlling the risks associated with database changes might be achieved through trust and real-time communication. However, as the team grows, the responsibilities within the team become more specialized. Imagine a scenario where different branches of the business exist, each with its own set of developers, team leads, testers, testing leads, DBAs, and more. Relying solely on traditional communication methods becomes increasingly challenging when it comes…
2023 · github.com
- 13AO
Me and a few friends have been working multy.dev, an open-source cloud agnostic API that makes it easy to deploy the same infrastructure to any cloud provider using native managed services. The motivation was the realisation that, even when using Terraform, migrating infrastructure code requires an end-to-end re-write. Even though most core resources are the same in any major cloud, developers need to learn a new provider to deploy the same infrastructure when moving providers. We currently support: - Networking (virtual_network, subnet, route_table, security_group, network_interface,…
2022
- 14EL
Hey HN! I built Experiment to solve a common frustration in LLM development: the lack of proper tools for prompt engineering experimentation. Here's what makes it different: Key Features: - Load and edit chat completion logs from CSV files - Fork and modify specific conversation entries - Run inference via Anthropic, Mistral, and OpenAI - Define custom tools using JSONSchema format - Visual tool usage analysis with collapsible, sorted key-value pairs - Full mobile support and available as installable PWA Technical Highlights: - Built with React using custom isomorphic architecture -…
2025 · github.com
- 15VA
VibeSolve is an open-source tool that turns a plain-English description of an optimisation problem into Timefold code. Mathematical optimisation is a branch of mathematics and computer science that searches for the minimum/maximum of objective functions, and has applications in transport, logistics, scheduling etc. We are exploring where LLMs can add value in optimisation algorithm development, and where they get in the way. Right now, it works well for rapid prototyping. It does not create production-ready code and requires technical skills to use. It is noticeably better at creating…
Jun 2026 · vibesolve.ai
- 16MB
hi! I’m a 17 y/o dev and I made this so I could show my wpm in code rather than just normal text :) this was my first project that I made awhile back but wanted to share it today. I used React and got the LeetCode samples by webscraping a site that had all the solutions. you can read more about the site in the "about" page. here's the repo: https://github.com/max-lee-dev/hackertype https://twitter.com/maxleedev
2024 · hackertype.dev
- 17WB
Here is a production-first Keras-inspired LM framework, built with the advice of François Chollet (ex-Google, creator of Keras and ARC-AGI), our technical advisor. This system have already been deployed in production with our clients (which is why we have already every LLMOps practice implemented). It is also compatible with Jupyter and Marimo to integrate seamlessly in you Data Scientists workflows. You can try the code examples online on HF space and you can find more information in the documentation and FAQ. If you have any feedback for us don't hesitate to join our discord! More releases…
2025 · github.com
- 18TN
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
- 19MI
Hi! Recently I've launched - mybfio.io - platform for software reviews with social network aspect. Prehistory Many great system are already in place that allow people to search and rate software products, including the site I am publishing this post on. However I have always felt that those systems are not specifically centered around product/software development lifecycle (releases, real users feedback over a product entire lifetime, so on) and often too broad or not designed specifically for that type of work, which is ok. Why? As an opensource author I would like to have constant…
2021
- 20SA
Hi guys, we're Wilhem from Paris and Jean-Daniel from Tokyo, software engineers with a passion for all things cloud (IaaS, PaaS, SaaS). We recently decided to tackle the problem of Capacity Planning with Stacktical, a Scalability Prediction service (https://stacktical.com). For a decade, we've been observing our clients and colleagues trying to nail down their strategy using repeated cycles of defining, collecting and interpreting load testing campaigns. It's funny how most people don't realize how demanding the work of infrastructure managers and their teams really is... While…
2016
- 21HP
Hi HN. I heard you like dev tools and AI, so we wanted to share our project that we’ve been working on. We’re working on Horizon [1] - a higher level abstraction for LLMs so that developers can spend less time trying to grapple with LLMs to make them work and more time with users. This is the starting feature set which takes an auto-ML approach to identify the optimal LLM model, hyperparameters, and prompt - instead of just giving you the tooling to figure it out yourself. You can read more about it in our documentations. Our view is that as LLMs become increasingly commoditized and prompts…
2023 · gethorizon.ai
- 22LA
Hey HN! We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative. We developed a kernel, editor, proof registry, and platform ── all accessible directly in the browser. Why we built this: Existing theorem provers are powerful, but they often feel isolated and difficult to extend. Unlike modern programming languages, which thrive on package managers and shared libraries, theorem proving tools lack a seamless way to integrate others' work. lapisla aims to bridge this gap by: * Offering a verified public proof registry for sharing and discovering…
2025 · github.com
- 23WB
Hey HN, After GPT-3 created waves in the tech industry, a lot of AI tools were emerging and with that, some AI website builders But the results seemed way too generic to us. It felt like the developers were rushing to catch the wave instead of building a proper tool We took our time, did months of RnD and finally came up with something better than what others in the market are doing. It’s got better design output. While it’s still in beta, I wanted to show HN what we did. Will appreciate the feedback when you guys try it out. Here is the link to signup for the beta:…
2024 · dorik.com
- 24AM
I wrote a free book (CC BY license) on software architecture. It classifies architectural patterns / system designs into groups according to their structure, so that each group features a specific set of goals and properties, as structure and function correlate. That results in a kind of inheritance for patterns, making it easy to learn them and even iterate over all the known architectures to analyze their properties. Any feedback and ideas on how to promote the book is warmly welcome!
2024 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →