人気のプロジェクト

@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

翻訳待ち

@makecindy

Cindy brings multiple agent harnesses, models, tools, memory and skills into one open-source AI agent that is ready to work from day one.

翻訳待ち

@yihong0618

Make bilingual epub books Using AI translate

翻訳待ち

@webdriverio

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

翻訳待ち

@o3de

MEET O3DE An open source, real-time 3D engine DOWNLOAD Learn More

翻訳待ち

@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

网易云音乐命令行版本

翻訳待ち

@owasp-modsecurity

ModSecurity helps protect your sites and apps with an OWASP-backed open-source WAF. Flexible rules, active community, trusted by developers.

翻訳待ち

@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

翻訳待ち

@ethereum-lists

A list of EVM-based chains that also allows you to add chains to your favorite Web3 wallet.

翻訳待ち

@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.

翻訳待ち