Stars
- All languages
- ANTLR
- Assembly
- Batchfile
- BibTeX Style
- BlitzBasic
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- Common Lisp
- Coq
- D
- Dhall
- Dockerfile
- Emacs Lisp
- F*
- Fluent
- Forth
- Frege
- Go
- Groff
- HTML
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Makefile
- Mustache
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- PostScript
- Python
- RPM Spec
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- SmPL
- Smarty
- Solidity
- SystemVerilog
- TLA
- TeX
- TypeScript
- VCL
- Vim Script
- Vue
- Zig
- reStructuredText
A cross-platform, OpenGL terminal emulator.
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
An extremely fast Python linter and code formatter, written in Rust.
A syntax-highlighting pager for git, diff, grep, and blame output
Multi functional app to find duplicates, empty folders, similar images etc.
Terminal session recorder, streamer and player 📹
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
A private network system that uses WireGuard under the hood.
SQLSync is a collaborative offline-first wrapper around SQLite. It is designed to synchronize web application state between users, devices, and the edge.
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
Vagga is a containerization tool without daemons
cwe_checker finds vulnerable patterns in binary executables
Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS
A tool for managing your kernel configuration that guarantees semantic correctness
Transaction executor for Everscale/Venom nodes in Rust
A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms