Lists (1)
Stars
Stupid test to check whether MDL principles improve ARC performance
Quilkin is a non-transparent UDP proxy specifically designed for use with large scale multiplayer dedicated game server deployments, to ensure security, access control, telemetry data, metrics and …
Evals for how well LLMs can judge security issues in code
Hierarchical Reasoning Model Official Release
A lightweight Node.js private proxy registry
Optimized Ollama LLM server configuration for Mac Studio and other Apple Silicon Macs. Headless setup with automatic startup, resource optimization, and remote management via SSH.
🌈 React for interactive command-line apps
An easy to install, high-performance, zero maintenance proxy to run an encrypted DNS server.
Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
Anonymous Credit Tokens implementation in Rust
Efficiency-centric, anti-censorship QUIC/HTTP/3 VPN protocol with adaptive FEC and SIMD-accelerated AEAD.
vet is a command-line tool that acts as a safety net for the risky curl | bash pattern. It lets you inspect, diff against previous versions, and lint remote scripts before asking for your explicit …
Cleans dependencies and build artifacts from your projects.
Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.
.env files built for sharing powered by @env-spec decorator comments
A collaborative environment for formal, interoperable, conceptual modeling
AnyBlob - A Universal Cloud Object Storage Download Manager Built For Cost-Throughput Optimal Analytics!
The main development version of the PRISM model checker.