Starred repositories
Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉
Stable interface for programmatic administration of ZFS from Rust
Bjorn is a powerful network scanning and offensive security tool for the Raspberry Pi with a 2.13-inch e-Paper HAT. It discovers network targets, identifies open ports, exposed services, and potent…
A library for building an in-memory, Adaptive Learned indEX
Datalog compiler embedded in Rust as a procedural macro
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
RFHunter is a device to find hidden Cameras at AirBNBs
Macros for implementing Type-State-Pattern on your structs and methods
Functional highly reproducible bioinformatics pipelines
A modern Prolog implementation written mostly in Rust.
Open-source Windows and Office activator featuring HWID, Ohook, TSforge, KMS38, and Online KMS activation methods, along with advanced troubleshooting.
PLANKA is the kanban-style project mastering tool for everyone.
A complete harfbuzz's shaping algorithm port to Rust
An implementation of differential dataflow using timely dataflow on Rust.
Securely and anonymously share files, host websites, and chat with friends using the Tor network
CloakifyFactory - Data Exfiltration & Infiltration In Plain Sight; Convert any filetype into list of everyday strings, using Text-Based Steganography; Evade DLP/MLS Devices, Defeat Data Whitelistin…
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
Rust library and CLI tool for OCR (extracting text from images)
Tool to sort large collections of files according to common typologies
SIADEX - An HTN planner with temporal, partial order planning