Lists (15)
Stars
State-of-the-art predictive coding, made easy.
GeoIP for V2Ray. Generate and release GeoIP files such as geoip.dat and geoip-only-cn-private.dat for V2Ray automatically monthly.
Steal SSH host private keys and /etc/shadow via the ptrace_may_access mm-NULL bypass + pidfd_getfd. Pre-31e62c2ebbfd kernels.
Chisel: A Modern Hardware Design Language
chip-red-pill / IntelTXE-PoC
Forked from ptresearch/IntelTXE-PoCIntel Management Engine JTAG Proof of Concept
The new, "official" TonUINO Firmware. TonUINO is an Arduino based music player supporting RFID and arcade buttons as it's UI
Miscellaneous/uncategorized utilities for JieLi
Patch for JieLi/hanlinyue firmware updater to bypass broken VID check. For Free2 Bluetooth page turners (working with Xteink X4 and similar devices).
Industrial design files for Keychron keyboards and mice. 100+ models with CAD assets in STEP, DXF, DWG, and PDF. Source-available, with commercial use allowed for original compatible accessories wi…
USB-Cereal is a powerful, fully open source development tool that simplifies testing, development, debugging, and manufacturing of devices that utilize USB-C. Using USB-C’s extended capabilities th…
Tor Relay availability checker, for using it as a bridge in countries with censorship
An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
Meta Optimization Semantic Evolutionary Search
ProbMetta: A probabilistic logic programming library for MeTTa implementing ProbLog-style distribution semantics.
Adventures in figuring out how this incredibly ubiquitous, yet incredibly mysterious integrated circuit works.
An OpenSCAD LEGO Technic-compatible piece generator.
A probabilistic programming language for visual scene perception
Benchmarking suite to evaluate 🤖 robotics computing performance. Vendor-neutral. ⚪Grey-box and ⚫Black-box approaches.
Official repo of VLABench, a large scale benchmark designed for fairly evaluating VLA, Embodied Agent, and VLMs.