Highlights
- Pro
-
-
notes-on-secrets Public
Notes on secrets detection, secrets-related breaches, etc
UpdatedDec 2, 2025 -
trufflehog Public
Forked from trufflesecurity/trufflehogFind, verify, and analyze leaked credentials
Go GNU Affero General Public License v3.0 UpdatedNov 19, 2025 -
-
-
vectorscan-rs Public
Rust bindings to the Vectorscan high-performance regex library
-
kingfisher Public
Forked from mongodb/kingfisherKingfisher is a blazingly fast secret‑scanning and validation tool built in Rust
Rust Apache License 2.0 UpdatedJun 30, 2025 -
gitoxide Public
Forked from GitoxideLabs/gitoxideAn idiomatic, lean, fast & safe pure Rust implementation of Git
Rust Apache License 2.0 UpdatedJun 25, 2025 -
duckdb Public
Forked from duckdb/duckdbDuckDB is an analytical in-process SQL database management system
C++ MIT License UpdatedJul 18, 2024 -
zauber Public
A reimagining of `file` and `libmagic` in Rust
-
vectorscan Public
Forked from VectorCamp/vectorscanA portable fork of the high-performance regular expression matching library
C++ Other UpdatedMar 6, 2024 -
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 20, 2024 -
cpython Public
Forked from python/cpythonThe Python programming language
-
rust-hyperscan Public
Forked from flier/rust-hyperscanHyperscan bindings for Rust with Multiple Pattern and Streaming Scan
Rust UpdatedDec 29, 2022 -
serve Public
Forked from pytorch/serveServe, optimize and scale PyTorch models in production
Java Apache License 2.0 UpdatedAug 16, 2022 -
static-analysis Public
Forked from analysis-tools-dev/static-analysis⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Rust MIT License UpdatedNov 4, 2021 -
gokart Public
Forked from praetorian-inc/gokartA static analysis tool for securing Go code
Go Apache License 2.0 UpdatedOct 26, 2021 -
ale Public
Forked from dense-analysis/aleAsynchronous linting/fixing for Vim and language server protocol integration
Vim Script BSD 2-Clause "Simplified" License UpdatedAug 7, 2018 -
intero-neovim Public
Forked from parsonsmatt/intero-neovimA neovim plugin for Intero, forked from ghcmod-vim
Vim Script UpdatedAug 7, 2018 -
macports-ports Public
Forked from macports/macports-portsThe MacPorts ports tree
Tcl Other UpdatedApr 8, 2018 -
ghcid Public
Forked from ndmitchell/ghcidVery low feature GHCi based IDE
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 6, 2018 -
ansi-wl-pprint Public
Forked from ekmett/ansi-wl-pprintThe Wadler/Leijen Pretty Printer for colored ANSI terminal output
Haskell Other UpdatedNov 15, 2015 -
bdd Public
Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance
-
hs-cudd Public
Haskell bindings to CUDD, the CU Decision Diagram Package
-
switchback Public
Code for the experiments in the AAAI-10 paper "Searching Without a Heuristic: Efficient Use of Abstraction" by Bradford Larsen, Ethan Burns, Wheeler Ruml, and Robert C. Holte