Stars
A modern load testing tool, using Go and JavaScript
WebAssembly Micro Runtime (WAMR)
Create full-fledged APIs for slowly moving datasets without writing a single line of code.
A course of building an LSM-Tree storage engine (database) in a week.
Portfolio Website - a web development project
Claudia is an Emacs integration for the Claude AI assistant, providing an interface between Emacs and Anthropic's language models.
A third-party, open-source ProtonMail CardDAV, IMAP and SMTP bridge
Creusot helps you prove your code is correct in an automated fashion.
A static verifier for Rust, based on the Viper verification infrastructure.
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]
MusE is a digital audio workstation with support for both Audio and MIDI
Test Kitchen is an integration tool for developing and testing infrastructure code and software on isolated target platforms
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
CLI wrapper for basic network utilites on Mac OS X inspired with iproute2 on Linux systems - ip command.
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
📚 Collaborative cheatsheets for console commands
A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.
A smarter cd command. Supports all major shells.
A tiling window manager for macOS based on binary space partitioning