人気のプロジェクト

@leanprover

Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.

翻訳待ち

@gitkraken

Transform VS Code into a Git powerhouse with GitLens, now backed by GitKraken AI. View blame, authorship, commit history & more—free or with GitLens Pro.

翻訳待ち

@jaredpalmer

Jev-like family of decision models built on top of Qwen3.5/3.8 you can train and run on your own

翻訳待ち

@SeaQL

Building Developer Tools for Rust

翻訳待ち

@yihong0618

Make bilingual epub books Using AI translate

翻訳待ち

@v2fly

Project V 是一个工具集合，它可以帮助你打造专属的基础通信网络

翻訳待ち

@webdriverio

Next-gen browser and mobile automation test framework for Node.js

翻訳待ち

@fastrepl

Anarlog is the open-source, privacy-first, local-first alternative to Granola AI. Take notes during private meetings, turn them into editable summaries, and keep your local meeting data and AI stack u

翻訳待ち

@darknessomi

网易云音乐命令行版本

翻訳待ち

@wpscanteam

The WPScan CLI tool is a free, for non-commercial use, black box WordPress security scanner written for security professionals and blog maintainers to test the security of their sites.

翻訳待ち

@pymc-devs

Bayesian Modeling and Probabilistic Programming in Python

翻訳待ち

@modem-dev

Hunk is a review-first terminal diff viewer for agent-authored changesets. Multi-file review stream, inline AI annotations, watch mode, TypeScript extensions, and Git/Jujutsu integration.

翻訳待ち

@streamaserver

Self hosted streaming media server. https://docs.streama-project.com/

翻訳待ち

@spinnaker

Spinnaker is an open source, multi-cloud continuous delivery platform for releasing software changes with high velocity and confidence.

翻訳待ち

@apache

SeaTunnel is a multimodal, high-performance, distributed, massive data integration tool.

翻訳待ち