3,818 skills found · Page 1 of 128
nvbn / ThefuckMagnificent app which corrects your previous console command.
tink-crypto / TinkTink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
ijl / OrjsonFast, correct Python JSON library supporting dataclasses, datetimes, and numpy
goldendict / GoldendictA feature-rich dictionary lookup program, supporting multiple dictionary formats (StarDict/Babylon/Lingvo/Dictd) and online dictionaries, featuring perfect article rendering with the complete markup, illustrations and other content retained, and allowing you to type in words without any accents or correct case.
phan / PhanPhan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
martin-ger / Esp Wifi RepeaterA full functional WiFi Repeater (correctly: a WiFi NAT Router)
BafS / GutenbergModern framework to print the web correctly.
giltene / Wrk2A constant throughput, correct latency recording variant of wrk
pqpo / SmartCropper🔥 A library for cropping image in a smart way that can identify the border and correct the cropped image. 智能图片裁剪框架。自动识别边框，手动调节选区，使用透视变换裁剪并矫正选区；适用于身份证，名片，文档等照片的裁剪。
01mf02 / JaqA jq clone focussed on correctness, speed, and simplicity
icedland / IcedBlazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua
kaleidawave / EznoA fast and correct TypeScript type checker and compiler with additional experiments
rgrove / RawgitServed files from raw.githubusercontent.com, but with the correct content types. No longer actively developed.
greensock / Gsap SkillsOfficial AI skills for GSAP. These skills teach AI coding agents how to correctly use GSAP (GreenSock Animation Platform), including best practices, common animation patterns, and plugin usage.
lbryio / TorbaTorba makes it easy to create fast and correct bitcoin based crypto wallets.
openai / Prm800k800,000 step-level correctness labels on LLM solutions to MATH problems
Divide-By-0 / Ideas For Projects People Would UseEvery time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.
rohitg00 / Pro WorkflowClaude Code learns from your corrections: self-correcting memory that compounds over 50+ sessions. Context engineering, parallel worktrees, agent teams, and 17 battle-tested skills.
java-json-tools / Json Schema ValidatorA JSON Schema validation implementation in pure Java, which aims for correctness and performance, in that order
succinctlabs / Sp1SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
