verus-lang
★ 3,039verus
Verified Rust for low-level systems code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct.
HYSEN LABS DIRECTORY
#Developer tooling
Purpose tag · curated repositories and deep analysis.
354 curated open-source projects
zerx-lab
★ 3,038FluxDown
FluxDown is a media downloading and processing utility with resumable transfers, queue management, and local automation controls.
tox-dev
★ 3,022pipdeptree
A command line utility to display dependency tree of the installed Python packages.
VibiumDev
★ 2,933vibium
The verification layer for coding agents
Taiko2k
★ 2,855Tauon
The music player of today! :citysunrise:
samuelgursky
★ 2,842davinci-resolve-mcp
MCP server integration for DaVinci Resolve Studio. DaVinci Resolve MCP Server blue.svg) 18%20tools-blueviolet.svg) A Model Context Protocol (MCP) server that lets AI assistants control DaVinci Resolve Studio through the official Scripting API.
chauncygu
★ 2,831collection-claude-code-source-code
A collection of the Claude Code open source. No annotations, docs, or build tooling have been added, use claude-code-source-code for the researched and annotated version.
openclaw
★ 2,736wacli
WhatsApp CLI: sync, search, send. Build from source wacli requires Go 1.26.5 or newer and uses go-sqlite3, so cgo + a C compiler are required.
Real-time repository build Morphe, Revanced and Revanced Extended about 10 minutes after patch release
immich-power-tools
★ 2,695immich-power-tools
Power tools for organizing your immich library. Immich Power Tools A unofficial immich client to provide better tools to organize and manage your immich account.
Community managed domain list. Move To Domain list community This project manages a list of domains, to be used as geosites for routing purpose in Project V.
open-telemetry
★ 2,625opentelemetry-java-instrumentation
OpenTelemetry auto-instrumentation and instrumentation libraries for Java.
meta-pytorch
★ 2,606torchrec
Pytorch domain library for recommendation systems. TorchRec TorchRec** is a PyTorch domain library built to provide common sparsity and parallelism primitives needed for large-scale recommender systems (RecSys).
loomio
★ 2,598loomio
Loomio is a collaborative decision making tool. Loomio is a decision-making tool for collaborative organizations.
youlaitech
★ 2,592vue3-element-admin
Vue 3 + Vite 7+ TypeScript + element-plus vue-element-admin vue3 .
pnnbao97
★ 2,573VieNeu-TTS
Vietnamese TTS with instant voice cloning • On-device • Real-time CPU inference • 24kHz audio quality • Chuyển văn bản thành giọng nói tiếng Việt • Text to speech tiếng Việt • TTS tiếng Việt
microsoft
★ 2,517CsWin32
A source generator to add a user-defined set of Win32 P/Invoke methods and supporting types to a C# project.
chromebrew
★ 2,516chromebrew
Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies.
actions
★ 2,497labeler
An action for automatically labelling pull requests. What's changed in V7 Migrated to ESM internally to support the latest @actions/* package versions.
mirage-project
★ 2,490mirage
Mirage Persistent Kernel: Compiling LLMs into a MegaKernel. Quickstart Mirage allows you to compile LLMs from the Hugging Face model zoo into a megakernel using just a few dozen lines of Python-mainly to define the kernel s inputs and outputs.