Stars
Benchmark dataset evaluating code review and security analysis tools on the OpenSSF CVE Benchmark.
Terminal eBook Reader with Audiobook-Quality Text-to-Speech — Supports EPUB, PDF, DOCX, HTML, RTF, TXT, and MD.
A plugin to name your tmux windows smartly.
The financial transactions database designed for mission critical safety and performance.
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
A fully customizable and self-hosted sandboxing solution for AI agent code execution and computer use. It features out-of-the-box support for backtracking, a simple REST API and Python SDK, automat…
An elegant home server OS. Run OpenClaw, store your files and photos, run a Bitcoin node, and do more with over 300 apps in the Umbrel App Store.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Learn TLA+ for free! No prior experience necessary!
The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.
Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.
Knowledge management system and information client. Organise notes, discussions, blogs, articles into queryable archives.
Database anonymization, synthetic data generation and logical dump
A modern runtime for JavaScript and TypeScript.
The renaissance will be multi-streamed LIVE—with xplex!
One-shot kiosk mode setup for shuffling webpages, with a management web UI.
Vulnerability scanner written in Go which uses the data provided by https://osv.dev
Incredible.dev is an AI Coding Co-worker which can code, fix, document, deploy, test your APIs. One agent to rule everything API.
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
Simple, open source, lightweight and privacy-friendly web analytics alternative to Google Analytics.