931 skills found · Page 1 of 32
facebook / Pyre CheckPerformant type-checking for python.
millsp / Ts Toolbelt👷 TypeScript's largest type utility library
facebook / Prop TypesRuntime type checking for React props and similar objects
sindresorhus / OwFunction argument validation for humans
sdiehl / Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
checkedc / CheckedcChecked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
DetachHead / Basedpyrightpyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
explosion / Thinc🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
teal-language / TlThe compiler for Teal, a typed dialect of Lua
tsdjs / TsdCheck TypeScript type definitions
ruby / RbsThe type signature language for Ruby
epoberezkin / Fast Deep EqualThe fastest deep equality check with Date, RegExp and ES6 Map, Set and typed arrays support
microsoft / TypeScript Babel StarterA sample setup using Babel CLI to build TypeScript code, and using TypeScript for type-checking.
GitGuardian / GgshieldDetect and validate 500+ types of hardcoded secrets with advanced checks. Use it as a pre-commit hook, GitHub Action, or CLI for proactive secret detection and security.
tsrpc / TsrpcA TypeScript RPC framework, with runtime type checking and serialization, support both HTTP and WebSocket. It is very suitable for website / APP / games, and absolutely comfortable to full-stack TypeScript developers.
gcanti / TcombType checking and DDD for JavaScript
sindresorhus / IsType check values
patrick-kidger / JaxtypingType annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
patrick-kidger / TorchtypingType annotations and dynamic checking for a tensor's shape, dtype, names, etc.
Th0rgal / Open Ralph WiggumType `ralph "prompt"` to start open code in a ralph loop. Also supports a prompt file & status check. Open Code, Claude Code, Codex, Copilot
