Veve

What it does

A zero-config, type-safe, TypeScript-native testing framework and runner !

• 
  A dependently-typed programming language with static memory management2020 · github.com · ▲456

  A functional programming language with static memory management - vekatze/neut

• 
  Vekos – a Rust OS with Built-In Cryptographic Verification2024 · github.com · ▲82

  VEKOS(Verified Experimental Kernel OS) is a Rust-based experimental kernel that focuses on runtime verification and security. Every filesystem operation and memory allocation generates cryptographic proofs that can be verified in real-time, ensuring system integrity. Think of it like a blockchain for OS operations rather than just storage verification. Key features: - Merkle tree-backed filesystem with operation verification - Memory manager with CoW and proof generation - Buddy allocator with zone-based memory management - Shell with VT100 support - Verified boot sequence with stage…

• 
  Zero-codegen, no-compile TypeScript type inference from Protobufs2025 · github.com · ▲138

  🛫 Zero-codegen, no-compile TypeScript `type` inference from protobuf `message`s - nathanhleung/protobuf-ts-types

• 
  Remult – a CRUD framework for full-stack TypeScript2022 · github.com · ▲130

  Full-stack CRUD, simplified, with SSOT TypeScript entities - remult/remult

• 
  Venator – Open-source threat detection2024 · github.com · ▲91

  a flexible threat detection platform that simplifies rule execution and management with k8s cronJobs and helm. flexible enough to run standalone or with other schedulers like hashicorp nomad.

• 
  Vendure2021 · vendure.io · ▲98

  Open-source headless e-commerce framework for developers

• 
  Run full iOS 16.5 firmware on Android Devices▲536

  Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

  Dev tools · 5d ago · github.com

• 
  /dev/null▲503

  a social network for devs

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

• 
  OpenBot▲362

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

  Dev tools · 28d 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 · 26d ago · talanoa.email

• 
  AUDR by Chargebee▲323

  Open standard for tracking agent run costs

  Dev tools · 30d ago · openaudr.dev

• 
  myPip▲272

  Vibe code, publish, and monetize games with AI

  Dev tools · 12d ago · mypip.dev

• 
  I made an open-source laptop from scratch▲3,237

  Hello! I'm Byran. I spent the past ~6 months engineering a laptop from scratch. It's fully open-source on GH at: https://github.com/Hello9999901/laptop

  Dev tools · 2025 · byran.ee

• TI
  Tetris in a PDF▲1,289

  I realized that the PDF engines of modern desktop browsers (PDFium and PDF.js) support JavaScript with enough I/O primitives to make a basic game like Tetris. It was a bit tricky to find a union of features that work in both engines, but in the end it turns out that showing/hiding annotation "fields" works well to make monochrome pixels, and keyboard input can be achieved by typing in a text input box. All in all it's quite janky but a nice reminder of how general purpose PDF scripting can be. The linked PDF is all ASCII so you can just open it in a text editor, or have a look at…

  Life & fun · 2025 · th0mas.nl

• 
  21st.dev▲1,211

  I originally built this app to organize and reuse interesting React + Tailwind components I came across on Twitter, inspired by the shadcn/ui approach. Later, a friend started contributing their own components, and it got me thinking—this could grow into something bigger, like an NPM for design engineers to share and use components. Would love to hear your thoughts!

  Dev tools · 2025 · 21st.dev

• 
  JoggAI 2.0: AI Avatar Generator▲967

  Create lifelike, personalized AI avatars from text prompts

  AI · 2025 · jogg.ai

• 
  Lovable + Builder.io▲873

  Turn Figma designs into full stack apps with AI

  Dev tools · 2025 · figma.com

• 
  Cs16.css – CSS library based on Counter Strike 1.6 UI▲819

  CSS library based on Counter Strike 1.6 UI.

  Life & fun · 2025 · cs16.samke.me