Kurtosis, a platform for distributed whole-system testing in CI

What it does

Leverage existing blockchain packages to kickstart your dev and testing workflows or build your own package for easy distribution. This Kurtosis package instantiates a Blockscout blockchain explorer environment with PostgreSQL database, verification service, and frontend components. In addition to supporting open source, sponsors get perks like private support channels, priority issue requests, and direct influence on product roadmap! Kurtosis was originally developed by Kurtosis Technologies, who open sourced it in June 2024 under the Apache 2.0 License. Since then, it has been actively maintained by a small group of contributors , including one full-timefrom kurtosistech.com

• 
  Horizon 1.02016 · sequence.xyz · ▲312

  Realtime, open-source backend for JavaScript apps

• 
  Nirvana, a WIP programming language2018 · github.com · ▲8
• 
  Maelstrom – A Hermetic, Clustered Test Runner for Rust (and It's Fast)2024 · maelstrom-software.com · ▲6
• 
  An open ledger for scalable, mission-critical WebAssembly Dapps2019 · github.com · ▲8

  Write once, run forever. Deploy robust, scalable, decentralized WebAssembly applications on Wavelet. - perlin-network/wavelet

• WW
  Wasienv – WebAssembly WASI Development Toolchain for C/C++2019 · medium.com · ▲8
• 
  Lapisla – A Theorem Proving Platform for Openness and Reusability2025 · github.com · ▲6

  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…

• 
  /dev/null▲490

  a social network for devs

  Dev tools · 4d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 24d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 21d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 29d ago · corespeed.io

• 
  Spline▲1,191

  Design tool for 3D web experiences

  Work · 2020 · spline.design

• PP
  PSX Party – Online Multiplayer Playstation 1 Emulator Using WebRTC▲676

  Play classic 32-bit retro games online with friends! Free multiplayer emulator in your browser. No downloads required.

  Life & fun · 2020 · psxparty.kosmi.io

• A2
  After 2.5 years on my side project, it has hit £500/month revenue▲647

  It's been a long slow hog and I almost gave up a few times (more than a few) but when covid hit this year it gave me some time to really focus on my product. There were stupid user journey things that I knew needed fixed. There were some features I knew needed added. And I knew the pricing was wrong. I spent some hardcore time working on these things back in March / April and since then my MRR has continued to grow. My product is SongBox (https://songbox.rocks) - it's an alternative to things like bandcamp and soundcloud for creators who need to share audio files privately.…

  Commerce · 2020

• TW
  This website is valid JSON▲604

  Life & fun · 2020 · webdatarender.com

• 
  UserLeap▲590

  AI-powered, product research platform

  Growth · 2020 · sprig.com

• 
  Headlime 2.0▲568

  Professional marketing copy for anyone

  AI · 2020 · headlime.com