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.
Build terminal user interfaces and dashboards using Rust
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
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
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