Explore Projects
Discover 676 open source projects
Showing 21-40 of 676 projects
facebook/flow
Static typechecker for JavaScript to improve code quality and productivity
RealKai42/qwerty-learner
้ฎ็ๅทฅไฝ่ ็่ฑ่ฏญๅญฆไน ไธๆๅญ่ฎญ็ปๅทฅๅ ท
yjs/yjs
CRDT framework for real-time collaborative editing
gleam-lang/gleam
A friendly, type-safe language for building scalable systems.
python/mypy
Static type checker for Python
crystal-lang/crystal
Crystal is a statically-typed programming language with Ruby-like syntax that compiles to efficient native code.
monkeytypegame/monkeytype
Customizable typing test website with features like themes, challenges, and account system.
11ty/eleventy
Static site generator for developers
fastapi/typer
Typer is a Python library that makes it easy to build command-line interfaces (CLIs) using type hints.
nosir/cleave.js
A JavaScript library for formatting input text content with masks and validations, useful for building user interfaces.
nim-lang/Nim
Nim is a statically typed, compiled systems programming language focused on efficiency, expressiveness, and elegance.
lichess-org/lila
An open-source chess server with a focus on providing a free, ad-free, and accessible platform for players.
wled/WLED
A C++ library for controlling WS2812B and other digital RGB LEDs using an ESP32 over WiFi
astral-sh/ty
An extremely fast Python type checker and language server, written in Rust, for vibe coders.
sqlc-dev/sqlc
Generate type-safe code from SQL for Go, Kotlin, Python, and other languages.
sindresorhus/type-fest
A comprehensive collection of essential TypeScript types for building robust and type-safe applications.
vasanthk/how-web-works
A developer resource explaining the inner workings of web browsers and the internet.
mattboldt/typed.js
Typed.js is a JavaScript library that creates a typing animation effect, useful for landing pages and demos.
KindXiaoming/pykan
A Jupyter Notebook library for building Kolmogorov Arnold Networks, a type of neural network.
leandromoreira/digital_video_introduction
An educational resource that provides a hands-on introduction to video technology, including codecs, streaming, and more.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.