HYSEN LABS DIRECTORY

#Apache 2.0

License tag · curated repositories and deep analysis.

4,137 curated open-source projects
leanprover-community

mathlib4

★ 4,217

The math library of Lean 4

Lean1,728 forks
shitagaki-lab

see-through

★ 4,216

"Single-image Layer Decomposition for Anime Characters" (SIGGRAPH 2026 Conference Paper)

Python384 forks
QwenLM

Qwen3.8

★ 4,214

Qwen3.8 is the large language model series developed by Qwen team, Alibaba Group.

Unknown320 forks
DioxusLabs

blitz

★ 4,207

A radically modular HTML/CSS rendering engine

Rust214 forks
★ 4,201

The official AWS SDK for Java 1.x (In Maintenance Mode, End-of-Life on 12/31/2025). The AWS SDK for Java 2.x is available here: https://github.com/aws/aws-sdk-java-v2/

Java2,777 forks
★ 4,199

Generative AI reference workflows optimized for accelerated infrastructure and microservice architecture.

Jupyter Notebook1,101 forks
klinecharts

KLineChart

★ 4,185

📈Lightweight k-line chart that can be highly customized. Zero dependencies. Support mobile.(可高度自定义的轻量级k线图,无第三方依赖,支持移动端)

TypeScript1,003 forks
RetireJS

retire.js

★ 4,182

scanner detecting the use of JavaScript libraries with known vulnerabilities. Can also generate an SBOM of the libraries it finds.

JavaScript442 forks
ironcalc

IronCalc

★ 4,181

Main engine of the IronCalc ecosystem

Rust189 forks
★ 4,177

A .NET source generator for generating object mappings. No runtime reflection.

C#231 forks
nageoffer

ragent

★ 4,175

企业级 Agentic RAG 智能体 - 全链路覆盖文档解析、多路检索、意图识别、问题重写、会话记忆、MCP 工具调用与深度思考。面向真实业务场景,从 0 到 1 完整工程实现。

Java843 forks
★ 4,174

learn database internals by building a storage engine in Rust

Rust650 forks
★ 4,172

Bulk port forwarding Kubernetes services for local development.

Go238 forks
mandiant

flare-floss

★ 4,171

FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.

Python539 forks
openagents-org

openagents

★ 4,170

OpenAgents - The collaboration OS for AI agents

TypeScript423 forks
square

Valet

★ 4,170

Valet lets you securely store data in the iOS, tvOS, watchOS, or macOS Keychain without knowing a thing about how the Keychain works. It’s easy. We promise.

Swift228 forks
crate-ci

typos

★ 4,167

Source code spell checker

Rust187 forks
thinking-machines-lab

tinker-cookbook

★ 4,166

Post-training with Tinker

Python544 forks
dataelement

Clawith

★ 4,165

Your First AI Agents Company

Python699 forks