๐Ÿ“ˆ GH Trending Explorer ๐ŸŽฒ Surprise me

Search: vale ยท clear

valeriansaliou / sonic

๐Ÿฆ” Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.

โ˜… 21k Rust 1d ago
dmtrKovalenko / fff

The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS

โ˜… 11k Rust today
Hypfer / Valetudo

Cloud replacement for vacuum robots enabling local-only operation

โ˜… 9.8k JavaScript today
vale-cli / vale

:pencil: A markup-aware linter for prose built with speed and extensibility in mind.

โ˜… 6.3k Go 4d ago
dmtrKovalenko / odiff

A very fast SIMD-first image comparison library (with nodejs API)

โ˜… 3.3k Zig ๐Ÿ”ฅ 7d ago
nicoverbruggen / phpmon

Easily install and configure your development environment with PHP. Serve sites with Laravel Valet, switch PHP versions, manage extensions, and quickly resolve issues automatically.

โ˜… 3.2k Swift 26d ago
veeso / termscp

๐Ÿ–ฅ A feature rich terminal UI file transfer and explorer with support for SCP/SFTP/FTP/S3/SMB/WebDAV

โ˜… 3.1k Rust 1d ago
laravel / valet

A more enjoyable local development experience for Mac.

โ˜… 2.6k PHP 6d ago
phpmd / phpmd

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.

โ˜… 2.5k PHP today
ValeLang / Vale

Compiler for the Vale programming language - http://vale.dev/

โ˜… 2.0k Scala 27d ago
valeriansaliou / vigil

๐Ÿšฆ Microservices Status Page. Monitors a distributed infrastructure and sends alerts (Slack, SMS, etc.).

โ˜… 1.9k Rust 10d ago
alkaline-ml / pmdarima

A statistical library designed to fill the void in Python's time series analysis capabilities, including the equivalent of R's auto.arima function.

โ˜… 1.7k Python 1d ago
HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

โ˜… 1.4k Rocq Prover 11d ago
crosire / d3d8to9

A D3D8 pseudo-driver which converts API calls and bytecode shaders to equivalent D3D9 ones.

โ˜… 1.3k C++ 27d ago
ezylang / EvalEx

EvalEx is a handy expression evaluator for Java, that allows to evaluate simple mathematical and boolean expressions.

โ˜… 1.1k Java 3d ago
UniMath / UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

โ˜… 1.0k Rocq Prover today
terrafying / ai-torture-chamber

The AI Torture Chamber: steering small open models into strong valence states and measuring what they say and do. Live at wirehead.agency.

โ˜… 988 Python today
Valen-Team / Valen

Train a Jev-like multimodal model by yourself. System One Model, now with vision.

โ˜… 878 Jupyter Notebook 4d ago
komarovalexander / ka-table

Lightweight MIT React Table component with Sorting, Filtering, Grouping, Virtualization, Editing and many more

โ˜… 854 TypeScript today
Soreepeong / XivAlexander

Double weave on high latency, and mishmash of modding tools - especially for fonts and internationalization for Final Fantasy XIV.

โ˜… 761 C++ today
OWASP / OFFAT

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.

โ˜… 675 Python today
vincentarelbundock / marginaleffects

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

โ˜… 650 R 4d ago
cadon / ARKStatsExtractor

A tool for the game ARK: Survival Evolved. Extracts possible levelups of creatures to get the values for breeding. With library and pedigree-view.

โ˜… 536 C# 1d ago
secureblue / Trivalent

A security-focused, Chromium-based browser for desktop Linux inspired by Vanadium.

โ˜… 530 Diff today
dmtrKovalenko / bashka

Stop running unverified bash scripts to install software! curl <url> | bashKA for static verification of bash script safty and managing installed software

โ˜… 243 Rust 1mo ago
ValerianXXX / JobFlow

Local-first, AI-centered, evidence-gated job application workflow

โ˜… 199 Python 1mo ago
yfyeung / PrunedCTC

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.

โ˜… 121 Python 20d ago
vatavale / folivox

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

โ˜… 102 Python today
VeryVale-RT / quantfeature

road feature coverage with explicit compatibility contracts and causal defaults. Formula parity is tested family by family.

โ˜… 101 Python 1mo ago
valen-research / Pain-axis

Datasets, scripts and results for the paper "The Pain Axis" by Valen Tagliabue, Leonard Dung & Cameron Berg

โ˜… 70 Python 21d ago
valentynkit / jev-belay

Claude Code Stop hook that blocks an unverified done: reads the transcript for evidence, asks Jev once, fails open on everything else

โ˜… 40 JavaScript 11d ago
arvelvale / orrery

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.

โ˜… 39 Rust 9d ago
Rurijian / KimiThinkingPrefill

SillyTavern extension: client-side reasoning_content thinking prefill for Kimi/Moonshot models (kimi-k3-jb patch equivalent, no server modifications)

โ˜… 33 JavaScript 18d ago
Lincb522 / CodexLens

macOS menu bar app for Codex context, usage, quota, and API-equivalent cost tracking

โ˜… 33 Swift 1mo ago
valeoai / TOAD

Official implementation for TOAD: Test-Time Trajectory Optimization for Autonomous Driving

โ˜… 31 Python 1mo ago
Syntaf / vale-llm-slop

Vale styles that lint your prose. Inspired by the ASD-STE100 english standard

โ˜… 27 Shell 1mo ago