Treedocs
Documentation system that automatically checks for staleness.
53 pts · 19 comments
Document software
Metaspec
The Common Lisp ANSI specification converted into S-expression and HTML formats.
17 pts
TLA+ Process Studio
An interactive environment for writing and testing TLA+ specifications.
14 pts · 2 comments
light-weight-logger
A lightweight logging library for C++, Java, and C# applications.
12 pts
MindMaps for Linux and Git
Learn Linux and Git commands through mind maps, quizzes, typing games, and cheatsheets.
28 pts · 10 comments
Refract
Manage codebase evolution and pivots without breaking your existing software architecture.
17 pts
Outcrop
A faster alternative to Notion built with Rust.
197 pts · 107 comments
Free Mermaid Diagram Editor
An online editor to create and edit Mermaid diagrams easily.
51 pts · 14 comments
ModelMap
Interactive and animated architecture visualizations for any Hugging Face models.
34 pts · 4 comments
Kiso
An open source publishing engine for the Open Knowledge Format.
21 pts · 3 comments
Visimer
An open-source visual editor for creating and editing Mermaid diagrams.
14 pts
Enola
A deterministic architecture graph for developers and AI agents.
10 pts · 6 comments
FeedFast
Manage release notes, user feedback, and uptime monitoring in one dashboard.
84 pts
Davit
A graphical user interface for managing Apple Containers on macOS.
389 pts · 101 comments
Nub
A Bun-like all-in-one toolkit for Node.js applications.
277 pts · 81 comments
Better Auth
Comprehensive authentication and authorization framework for TypeScript applications.
259 pts · 106 comments
Bramble
A secure local-first password manager for storing your credentials.
153 pts · 50 comments
OneCLI
Open-source credential gateway that securely keeps secrets out of AI agents.
110 pts · 32 comments
slopo
A CLI tool to find non exact code duplication using embedding models.
91 pts · 54 comments
Argus Red CLI
An AI model post-trained to perform penetration testing instead of refusing requests.
93 pts · 40 comments
zkGolf
A platform for competitive optimization of formally verified zero knowledge circuits.
69 pts · 12 comments
Solo
Create portable Linux binaries easily.
51 pts · 59 comments
Cerast Intelligence Search
An OSINT tool that finds exposed files on domains.
58 pts · 26 comments
Pure Effect
Reproduce production bugs on your laptop without a database.
58 pts · 14 comments
Salt
A systems programming language featuring built-in Z3 theorem proving within the compiler.
44 pts · 54 comments
ymawky
A pure ARM64 Assembly web server with Linux CGI support.
51 pts · 26 comments
Pagecast
Publish Markdown and HTML reports directly to Cloudflare Pages.
54 pts · 13 comments
Godot 4.5
Open source game engine for 2D and 3D game development.
52 pts · 8 comments
Nimic
Use pure Python as a systems language with ahead of time compilation.
43 pts · 29 comments
ServerKit
Lightweight control panel for managing servers, apps and databases.
52 pts
MakerChecker
Scan your AI agents for dangerous capabilities and security risks.
44 pts · 19 comments
Halo
Open source tamper evident runtime evidence for AI agents.
37 pts · 23 comments
Pglayers
Package and run PostgreSQL extensions as stackable Docker layers.
40 pts · 11 comments
Deltix
AI driven testing tool to automate and streamline software testing processes.
37 pts · 10 comments
QUALITY.md
An open format, agent skill, and CLI tool to ensure code quality.
29 pts · 29 comments
Selector Forge
A browser extension that generates AI-powered resilient selectors.
38 pts · 2 comments
Secs-man
A lightweight secrets manager built in Rust.
31 pts · 21 comments
GetBlocked
An open source tool that blocks website trackers and protects your privacy online.
31 pts · 11 comments
SueTea
A tool to help people remove their personal information from the Tea App.
27 pts · 12 comments
Z-Jail
A lightweight Linux sandbox written in C99 with zero dependencies.
23 pts · 23 comments
Halo
A local debugger for AI agent traces to help developers inspect and fix agent behavior.
27 pts · 10 comments
deptrust
A CLI tool that helps AI agents avoid vulnerable software dependencies.
26 pts · 5 comments
HTMLDrive
Serve HTML files directly from your Google Drive.
22 pts · 12 comments
Task
A task runner that aims to be simpler and easier to use than GNU Make.
19 pts · 20 comments
keychain-store
A macOS data protection keychain library for Electron applications.
21 pts · 3 comments
Unobin
Unobin compiles Infrastructure as Code into a single standalone binary.
20 pts · 4 comments
MetaGenesis Core
Offline verification tool for computational claims and software systems.
15 pts · 18 comments
Jacobi–IDE for Abaqus
An IDE for Abaqus subroutines featuring analytical tests and AI diagnosis.
18 pts · 6 comments