Stars
A collection of formalized statements of conjectures in Lean.
Very low latency speech to text, intent recognition, and text to speech, for building voice agents and interfaces
An open and affordable mini quadruped robot based on ESP32.
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
Student version of Assignment 1 for Stanford CS336 - Language Modeling From Scratch
Use Codex from Claude Code to review code or delegate tasks.
🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's structure and data flow through Joern Code Property Graphs (…
Zero shot vulnerability discovery using LLMs
An AI-powered security review GitHub Action using Claude to analyze code changes for security vulnerabilities.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Realtime log viewer for containers. Supports Docker, Swarm and K8s.
The headless rich text editor framework for web artisans.
🔥🔥🔥 Open-source Jira, Linear, Monday, and ClickUp alternative. Plane is a modern project management platform to manage tasks, sprints, docs, and triage.
Beautiful documentation that doesn't cost a fortune. Open-source with all of your favorite features.
SigNoz is an open-source, OpenTelemetry-native observability platform for your team and their AI agents. Get logs, metrics, and traces in one tool with features like APM, distributed tracing, log m…
Vulnerability scanner written in Go which uses the data provided by https://osv.dev
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
An open-source long-horizon SuperAgent harness that researches, codes, and creates. With the help of sandboxes, memories, tools, skill, subagents and message gateway, it handles different levels of…
Project NOMAD is an offline-first knowledge and education server. Wikipedia, thousands of books, courses, maps, and optional local AI, all running on hardware you own with no internet required.
Light, fluffy, and always free - The AWS Local Emulator alternative
The Open Source Swedish ERP System (previously Gnubok)
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
[ICML 2024] Binoculars: Zero-Shot Detection of LLM-Generated Text
VOOG — Virtual Analog Synthesizer (Moog-style polyphonic synth with GUI)
An MCP server plus a CLI tool that indexes local code into a graph database to provide context to AI assistants.
Surface AI blindspots before you ship. Put up to 8 AI models on every research, design or coding task.