Lightweight coding agent that runs in your terminal

A list of companies currently using Elixir in production.

Go library and CLIs for working with container registries

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

libp2p implementation in Nim

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Compiler for the C3 language

Koka language compiler and interpreter

A powerful and user-friendly binary analysis platform!

Secure internet sharing made simple.

The Z3 Theorem Prover

Matter (formerly Project CHIP) creates more connections between more objects, simplifying development for manufacturers and increasing compatibility for consumers, guided by the Connectivity Standa…

Lightning-fast and Powerful Code Editor written in Rust

Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.

📡 PoC auto collect from GitHub. ⚠️ Be careful Malware.

IRC application written in Rust

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Embedded Linker (eld)

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

An extremely fast Python package and project manager, written in Rust.

A modern and intuitive terminal-based text editor

Find the best vim colorschemes around

Zeek is a powerful network analysis framework that is much different from the typical IDS you may know.

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

A Proof-oriented Programming Language

Fast and Lightweight Logs, Metrics and Traces processor for Linux, BSD, OSX and Windows

HardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus between human rights and information security. HardenedBSD …

Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.