토론 전반에 걸쳐 독립적인 개발자, 창업자, 엔지니어의 추천 수에 따라 순위를 매깁니다.
Competitive optimization of formally verified circuits
미국 남부 방언과 아프리카계 영어를 구사하는 오픈 소스 TTS인 Hurston-1
A fast, keyboard-driven TUI API client and webhook inspector
n open-source code editor written in assembly
Fast PyTorch RL with Torch.compile and CUDA Graphs
type level tensor shapes in stable rust
parses legacy formats, generates SVGs
Learn Arabic with spaced repetition and comprehensible input
Credential broker for AI coding agents in Go
Rust compiler in PHP emitting x86-64 executables
Sync your Stripe data to your Postgres DB
A terminal app/UI for MIDI composing, mixing, and playback
Algorithms and Data Structures in TypeScript – Free Book
A (marginally) useful x86-64 ELF executable in 301 bytes
tool to decentralise scientific publishing
Deliberation records for human–AI work, versioned in Git