โ
๐ฆ Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS
Cloud replacement for vacuum robots enabling local-only operation
:pencil: A markup-aware linter for prose built with speed and extensibility in mind.
A very fast SIMD-first image comparison library (with nodejs API)
Easily install and configure your development environment with PHP. Serve sites with Laravel Valet, switch PHP versions, manage extensions, and quickly resolve issues automatically.
๐ฅ A feature rich terminal UI file transfer and explorer with support for SCP/SFTP/FTP/S3/SMB/WebDAV
programmatic video rendering framework that is actually fast
A React component to crop images/videos with easy interactions
A more enjoyable local development experience for Mac.
PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
Covalent - A Design System for Teradata
Compiler for the Vale programming language - http://vale.dev/
๐ฆ Microservices Status Page. Monitors a distributed infrastructure and sends alerts (Slack, SMS, etc.).
A statistical library designed to fill the void in Python's time series analysis capabilities, including the equivalent of R's auto.arima function.
A Coq library for Homotopy Type Theory
The Notepad equivalent for Markdown
A D3D8 pseudo-driver which converts API calls and bytecode shaders to equivalent D3D9 ones.
Alias legacy ZF class names to Laminas Project equivalents.
EvalEx is a handy expression evaluator for Java, that allows to evaluate simple mathematical and boolean expressions.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
The AI Torture Chamber: steering small open models into strong valence states and measuring what they say and do. Live at wirehead.agency.
Free, open-source time keeping for live events
Connect, control and sync devices
Train a Jev-like multimodal model by yourself. System One Model, now with vision.
Converts your TSLint configuration to the closest possible ESLint equivalent. ๐
Lightweight MIT React Table component with Sorting, Filtering, Grouping, Virtualization, Editing and many more
Double weave on high latency, and mishmash of modding tools - especially for fonts and internationalization for Final Fantasy XIV.
The OWASP OFFAT tool autonomously assesses your API for prevalent vulnerabilities, though full compatibility with OAS v3 is pending. The project remains a work in progress, continuously evolving towards completion.
R package to compute and plot predictions, slopes, marginal means, and comparisons (contrasts, risk ratios, odds, etc.) for over 100 classes of statistical and ML models. Conduct linear and non-linear hypothesis tests, or equivalence tests. Calculate uncertainty estimates using the delta method, bootstrapping, or simulation-based inference
A polyvalent C++ FEM library
Compiler for the Valen programming language
An effort to comprehensively document eBPF
A tool for the game ARK: Survival Evolved. Extracts possible levelups of creatures to get the values for breeding. With library and pedigree-view.
A security-focused, Chromium-based browser for desktop Linux inspired by Vanadium.
OpenCode goal plugin for Codex-style goal mode, /goal slash commands, persistent objectives, and AI coding agent focus.
โ
Stop running unverified bash scripts to install software! curl <url> | bashKA for static verification of bash script safty and managing installed software
Local-first, AI-centered, evidence-gated job application workflow
Typed decisions with TypeSafe's Jev, the first System One model
Memory-efficient CTC loss with exact loss and first-order gradient equivalence under vocabulary reduction, and activation memory that no longer scales linearly with vocabulary size.
Turn any e-book into a chaptered audiobook in your own voice: free, fully local. CosyVoice 3 or Fish Audio Drama 3 (80+ languages, several voices), no cloud needed
road feature coverage with explicit compatibility contracts and causal defaults. Formula parity is tested family by family.
Datasets, scripts and results for the paper "The Pain Axis" by Valen Tagliabue, Leonard Dung & Cameron Berg
Big Walk Trainer Mod Menu 2026: Unlimited Stamina Speed Boost and Fly Exploration Tool
Bit-vector expression simplifier for binary analysis and deobfuscation
Libreria AI: skill, repo e strumenti che vale la pena conoscere โ descrizioni concise in italiano
Claude Code Stop hook that blocks an unverified done: reads the transcript for evidence, asks Jev once, fails open on everything else
A local-first cockpit for your AI coding agents: Claude Code, Kimi Code, DSH, Codex, OpenCode, Z Code and Antigravity sessions in one window โ accurate token accounting, disk usage, session cleanup, and a local model proxy.
ๆ AI ไผดไพฃๆฌ่ฟ Telegram๏ผMochiBot ร OpenRouter ร VPS ๅฎๆๆ็จ
A native pixel-art dungeon for your live Herdr coding agents, for macOS, Windows and Linux (Rust, egui).
Argolink-focused API platform comparison and selection for GPT-6 Sol.
SillyTavern extension: client-side reasoning_content thinking prefill for Kimi/Moonshot models (kimi-k3-jb patch equivalent, no server modifications)
macOS menu bar app for Codex context, usage, quota, and API-equivalent cost tracking
Official implementation for TOAD: Test-Time Trajectory Optimization for Autonomous Driving
โ
Vale styles that lint your prose. Inspired by the ASD-STE100 english standard
Recursive Self-Improvement ยท From Experience to Systems to Models