Stars
- All languages
- Agda
- Assembly
- Batchfile
- Bicep
- C
- C#
- C++
- CSS
- CodeQL
- Common Lisp
- Coq
- Cycript
- Dockerfile
- F#
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Makefile
- Move
- Nim
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- Promela
- Python
- Racket
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Starlark
- Swift
- TypeScript
- Vue
- Zig
🌱 Production-ready gift economy mesh network for Solarpunk communes - Complete offline-first system for mutual aid coordination
Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.
Dropbox LLM Security research code and results
Generate parsers from tree-sitter grammars extended to support Semgrep patterns
A headless, extendable, multi-session, IDA Pro MCP framework.
Modular & Open-Source Coverage-Guided Web Application Fuzzer for PHP
A Chaos Engineering Platform for Kubernetes.
Automated testing to find logic and performance bugs in database systems
Use your Mac trackpad as a weighing scale
Deptective automatically determines the native dependencies required to run any arbitrary program or command.
Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)
OWASP Foundation web repository
Multi-platform command-line tool to send out MIDI messages
Nosey Parker is a command-line tool that finds secrets and sensitive information in textual data and Git history.
Parsing and JSON transformer library for the OpenFGA authorization DSL
Generate graphviz diagrams from an OpenFGA authorization model definition.