Explore Projects
Discover 10 open source projects
Showing 1-10 of 10 projects
colinhacks/zod
TypeScript-first schema validation with static type inference
piotrwitek/react-redux-typescript-guide
A comprehensive guide to static typing in React & Redux apps using TypeScript
arktypeio/arktype
A TypeScript library for runtime type validation, optimized for editor-to-runtime performance.
piotrwitek/utility-types
A collection of utility types for TypeScript, complementing built-in mapped types and aliases.
apache/groovy
A powerful, multi-faceted JVM programming language with support for functional and metaprogramming paradigms.
piotrwitek/typesafe-actions
Typesafe utilities for building action-creators in Redux or Flux-based architectures.
vtereshkov/umka-lang
Umka is a statically typed, embeddable scripting language written in C, suitable for building cross-platform applications.
python/typing
The Python typing module provides a system for adding type annotations to Python code, enabling static type checking.
evincarofautumn/kitten
Kitten is a statically typed concatenative programming language written in Haskell for systems programming.
GaijinEntertainment/daScript
daScript is a high-performance, statically typed scripting language for game development and other applications.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.