Lists (5)
Stars
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.
CF-Hero is a reconnaissance tool that uses multiple data sources to discover the origin IP addresses of Cloudflare-protected web applications
Learning to route instances for Human vs AI Feedback (ACL Main '25)
Microservice-oriented load driver solving the coordinated-omission fallacy