mathlib4
The math library of Lean 4
HYSEN LABS DIRECTORY
License tag · curated repositories and deep analysis.
The math library of Lean 4
"Single-image Layer Decomposition for Anime Characters" (SIGGRAPH 2026 Conference Paper)
Qwen3.8 is the large language model series developed by Qwen team, Alibaba Group.
A radically modular HTML/CSS rendering engine
ComfyUI's ControlNet Auxiliary Preprocessors
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/
Generative AI reference workflows optimized for accelerated infrastructure and microservice architecture.
📈Lightweight k-line chart that can be highly customized. Zero dependencies. Support mobile.(可高度自定义的轻量级k线图,无第三方依赖,支持移动端)
scanner detecting the use of JavaScript libraries with known vulnerabilities. Can also generate an SBOM of the libraries it finds.
Main engine of the IronCalc ecosystem
A .NET source generator for generating object mappings. No runtime reflection.
企业级 Agentic RAG 智能体 - 全链路覆盖文档解析、多路检索、意图识别、问题重写、会话记忆、MCP 工具调用与深度思考。面向真实业务场景,从 0 到 1 完整工程实现。
learn database internals by building a storage engine in Rust
Bulk port forwarding Kubernetes services for local development.
FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.
OpenAgents - The collaboration OS for AI agents
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.
Source code spell checker
Post-training with Tinker
Your First AI Agents Company