人気のプロジェクト

@leanprover

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

翻訳待ち

@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

翻訳待ち

@v2fly

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

翻訳待ち

@webdriverio

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

翻訳待ち

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

翻訳待ち

@spinnaker

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

翻訳待ち

@tobymao

Python SQL Parser and Transpiler

翻訳待ち

@sinonjs

Test spies, stubs and mocks for JavaScript.

翻訳待ち

@open-slide

A React-first slide framework authored by AI agents. Each page is arbitrary code on a 1920×1080 canvas — versioned, reviewable, yours.

翻訳待ち

@nexu-io

HTML Anything is the agentic HTML editor from the OpenDesign family. Reuse the coding-agent CLI you already authenticated — Claude Code, Codex, Cursor…

翻訳待ち