RÉPERTOIRE HYSEN LABS

Répertoire open source

Des dépôts sélectionnés avec une taxonomie précise, des métadonnées vérifiées et un contexte pratique.

19 173 projets open source sélectionnés
★ 1 325

28 eval-informed mental models and critical-thinking skills for Claude Code, GitHub Copilot, Codex, Cursor, and other Agent Skills-compatible tools

JavaScript160 forks
lean-dojo

LeanCopilot

★ 1 324

LLMs as Copilots for Theorem Proving in Lean

C++128 forks
karam-ajaj

atlas

★ 1 324

Open-source tool for network discovery, visualization, and monitoring. Built with Go, FastAPI, and React, supports Docker host scanning.

JavaScript75 forks
★ 1 324

動漫花園 镜像站 | 动画 BT 资源聚合站 | 动画 BT 资源开放接口

TypeScript43 forks
★ 1 324

Lifecycle-Aware Memory for long-horizon LLM agents — 66.05% on PaperBench, 94.66% on SurveyBench, 10 peer-reviewed acceptances at FSE/ICML/TOSEM/AEI/ICoGB

TeX198 forks
★ 1 323

Mouseover Translate Any Language At Once - Chrome Extension: PDF Translator, EBOOK, EPUB, OCR, TTS, NETFLIX, YOUTUBE DUAL SUBTITLES, GOOGLE DOCS, AI, VIEWER, GMAIL, WRITING, IMAGE, DUAL SUBS, MANGA, HOVER, DICTIONARY, WEBTOON, EDGE, JAPANESE, ENGLISH

JavaScript181 forks
jsmastery-pro

skills

★ 1 323

Agentic Development skills behind the JS Mastery workflow

JavaScript258 forks
★ 1 323

Plex HTTP Anidb Metadata Agent (HAMA)

Python119 forks
c0m4r

kula

★ 1 322

Outil de surveillance de serveur Linux léger et autonome. K U L A Outil de surveillance de serveur Linux léger et autonome.** Site Web | Démo | Dépendances Docker Hub Zéro.

GoCloud natif et DevOps69 forks
★ 1 322

Turn copy into rich one-minute Gemini Omni Flash stickman video prompt packages.

Shell207 forks
giuseppe99barchetta

SuggestArr

★ 1 322

Effortlessly request recommended movies, TV shows and anime to Jellyseer/Overseer based on your recently watched content on Jellyfin, Plex or Emby—let SuggestArr handle it all automatically, keeping your library fresh with new and exciting content!

Python38 forks
benjaminjonard

koillection

★ 1 321

Koillection is a self-hosted service allowing users to manage any kind of collections.

PHP65 forks
★ 1 321

Survival analysis built on top of scikit-learn

Python230 forks
sceneview

sceneview

★ 1 321

AI-first 3D & AR SDK for Android (Jetpack Compose + Filament), Apple (SwiftUI + RealityKit) and the web. Opens glTF/GLB, 3MF, STL, OBJ and PLY on Android and USDZ on Apple, at real size in AR. An assistant reads llms.txt and writes code that compiles first try; also an MCP server and a ChatGPT/Codex plugin.

Kotlin245 forks
★ 1 321

Source-available Android DNS tunneling client with VPN and proxy modes, backed by MasterDNS & StormDNS.

Kotlin88 forks
★ 1 320

Large Language Model based Multi-Agents: A Survey of Progress and Challenges (In IJCAI 2024)

Unknown67 forks
★ 1 320

Live training loss plot in Jupyter Notebook for Keras, PyTorch and others

Python141 forks
bytedance

Bernini

★ 1 320

Bernini is a unified framework for video generation and editing that combines an MLLM-based semantic planner with a DiT-based renderer.

Python102 forks