3,825 skills found · Page 3 of 128
pypa / BuildA simple, correct Python build frontend
magmide / MagmideA dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
wundergraph / Graphql Go ToolsGraphQL Router / API Gateway framework written in Golang, focussing on correctness, extensibility, and high-performance. Supports Federation v1 & v2, Subscriptions & more.
Debdut / Uuid ReadableGenerate Easy to Remember, Readable UUIDs, that are Shakespearean and Grammatically Correct Sentences 🥳
DataExpert-io / Cumulative Table DesignThis repository helps teach people how to correctly define and create cumulative tables!
hwayne / Lets Prove LeftpadProving leftpad correct two-dozen different ways
nvzqz / Static AssertionsEnsure correct assumptions about constants, types, and more in Rust
neoascetic / RawgithackServes files from github, bitbucket and gitlab, but with the correct content types
ad-si / PerspecScriptable desktop app to correct the perspective of images
ckknight / Random JsA mathematically correct random number generator library for JavaScript.
bbc / React Transcript EditorA React component to make correcting automated transcriptions of audio and video easier and faster. By BBC News Labs. - Work in progress
callowayproject / Bump My VersionA small command line tool to simplify releasing software by updating all version strings in your source code by the correct increment and optionally commit and tag the changes.
starkware-libs / Cairo Vmcairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
admonstrator / Glinet Tailscale UpdaterAutomated Tailscale updater for GL.iNet routers: periodically checks for new releases, downloads the correct build, and installs/updates Tailscale reliably via script (for OpenWrt/GL.iNet firmware)
teacherpeterpan / Self Correction Llm PapersThis is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.
assafshocher / ResizeRightThe correct way to resize images or tensors. For Numpy or Pytorch (differentiable).
larsjanssen6 / UnderconstructionThis Laravel 8 package makes it possible for you to set your website in "Under Construction" mode. Only users with the correct 4 (or more) digit code can access your site. :fire: :boom: :fire:
lix-project / Lix[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed to doing right by its community
spnda / FastgltfA modern C++17 glTF 2.0 library focused on speed, correctness, and usability
globalcitizen / Php IbanGenerate, parse, validate, error-correct and present IBAN (and IIBAN) bank account information in PHP.
