Starred repositories
GraphBit is the world’s first enterprise-grade Agentic AI framework, built on a Rust core with a Python wrapper for unmatched speed, security, and scalability. It enables reliable multi-agent workf…
An implementation of FITing-Tree learned index proposed in SIGMOD '19
FITing Tree is an indexing data structure that efficiently uses the memory without sacrificing the performance. For the paper: https://dl.acm.org/doi/10.1145/3299869.3319860
Benchmark Research on PLA algorithms applied in different learned index (e.g. PGM-Index, FITing-Tree)
🏅State-of-the-art learned data structure that enables fast lookup, predecessor, range searches and updates in arrays of billions of items using orders of magnitude less space than traditional indexes
A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.
A fast linearizability checker written in Go 🔎
Sysinfo is a Go library providing Linux OS / kernel / hardware system information.
Supplementary materials for RustConf 2023 talk on signal handling
Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A simple multi-profile Nix-flake deploy tool.
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
A high-level API for programmatically interacting with web pages through WebDriver.
Rust structs representing network-related types (on Layer 2, 3 and 4)
Linux eBPF backdoor over TCP. Spawn reverse shells, RCE, on prior privileged access. Less Honkin, More Tonkin.
LaTeX.css is a CSS library that makes your website look like a LaTeX document
Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)
'go test' runner with output optimized for humans, JUnit XML for CI integration, and a summary of the test results.
A highly efficient daemon for streaming data from Kafka into Delta Lake
eBPF based syscalls, files and network events tracing framework