HYSEN LABS DIRECTORY

#Cross-platform

Platform tag · curated repositories and deep analysis.

533 curated open-source projects
NVIDIA

skills

★ 3,497

Project brief: Agent Skills for NVIDIA products, install into Claude Code, Codex, and other coding agents to run Physical AI, robotics, simulation, CUDA, and RAG workflows end to end. Skill Catalog Product | Description | Skills | AIQ | NVIDIA AI-Q Blueprint - deploy local AI-Q services and run shallow or deep research workflows as agent skills.

Python427 forks
commaai

opendbc

★ 3,437

a Python API for your car. While the primary focus is on supporting ADAS interfaces for openpilot, we're also interested in reading and writing as many things as we can (EV charge status, lock/unlocking doors, etc) such that we can build the best vehicle management app ever.

PythonDeveloper Tools2,280 forks
coveragepy

coveragepy

★ 3,409

The code coverage tool for Python. It uses the code analysis tools and tracing hooks provided in the Python standard library to determine which lines are executable, and which have been executed.

PythonDeveloper Tools534 forks
★ 3,301

Project brief: An open-source background agents coding system. Background Agents: Open-Inspect An open-source background agents coding system inspired by Ramp's Inspect.

TypeScript477 forks
verus-lang

verus

★ 3,244

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.

RustDeveloper Tools227 forks
apache

gravitino

★ 3,235

Project brief: World's most powerful open data catalog for building a high-performance, geo-distributed and federated metadata lake.

Java947 forks
AlephAITech

WorkBuddyGuide

★ 3,210

A practical, open-source guide to mastering WorkBuddy through real-world workflows.开源的 WorkBuddy 实战蓝皮书:教程、真实工作流、Skills、MCP、自动化与多智能体实践。.

PythonAI & Machine Learning459 forks
★ 3,179

A game engine with a fully bindless, GPU-driven renderer featuring real-time path-traced global illumination, hardware ray tracing, and a physics simulation running at 200Hz, built over 10+ years of R&D.

C++Game Development277 forks
petergoldstein

dalli

★ 3,114

High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.

RubyDeveloper Tools470 forks
FStarLang

FStar

★ 3,110

A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].

F*Developer Tools266 forks
SciSharp

BotSharp

★ 3,105

Project brief: AI Multi-Agent Framework in .NET. Out-of-the-box machine learning algorithms allow ordinary programmers to develop artificial intelligence applications faster and easier.

C#650 forks
acepanel

panel

★ 2,980

Project brief: AcePanel - Enterprise server operation and maintenance management panel.

Go240 forks
UKGovernmentBEIS

inspect_ai

★ 2,906

Project brief: Inspect: A framework for large language model evaluations. Inspect provides many built-in components, including facilities for prompt engineering, tool usage, multi-turn dialog, and model graded evaluations.

Python764 forks