Stars
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
A curated list of awesome mathematics resources
Cybersecurity AI (CAI), the framework for AI Security
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
VoiceRestore: Flow-Matching Transformers for Universal Speech Restoration
Open source defense for your entire stack
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
A tool for converting Telegram chat exports into a WhatsApp-compatible format. This script transforms JSON exports from Telegram into a plain text format that mirrors WhatsApp’s chat layout, making…
Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of high-quality security rules without manual curation.