Explore Projects
Discover 676 open source projects
Showing 141-160 of 676 projects
loro-dev/loro
A Rust library that provides collaborative and version-controlled JSON data using Conflict-Free Replicated Data Types (CRDTs).
rocq-prover/rocq
An interactive theorem prover for writing and verifying mathematical definitions and algorithms.
dtolnay/thiserror
A Rust library that provides a derive(Error) macro for easily creating custom error types.
steshaw/plt
A library for exploring programming language theory, with a focus on lambda calculus and type theory.
yournextstore/yournextstore
Open-source Next.js commerce platform built for AI development with Stripe payments and ultra-fast page loads.
luau-lang/luau
A fast and embeddable programming language based on Lua with a gradual type system.
digitallyinduced/ihp
A fast, type-safe web framework for building long-term productive and happy web apps in Haskell.
entropic-dev/entropic
A package registry for any type of package, but focused on JavaScript ecosystem.
AmanVarshney01/create-better-t-stack
A modern CLI tool for scaffolding end-to-end type-safe TypeScript projects with best practices and customizable configurations
python/typeshed
A collection of library stubs for Python, providing static type information for improved developer productivity.
Instagram/MonkeyType
A Python library that generates static type annotations by collecting runtime types
vscode-icons/vscode-icons
Visual Studio Code extension that provides icons for a variety of file types and folder themes.
querydsl/querydsl
Querydsl is a unified Queries for Java, providing a fluent API to build type-safe queries.
middleapi/orpc
Typesafe APIs Made Simple - a framework-agnostic toolkit for building type-safe APIs with OpenAPI and RPC
sunshinejr/SwiftyUserDefaults
A modern Swift API for interacting with NSUserDefaults, making it more type-safe and ergonomic.
gajus/slonik
A type-safe, composable PostgreSQL client for Node.js with runtime and build-time type safety.
sodiray/radash
A modern, simple, and powerful TypeScript utility library for functional programming.
AAChartModel/AAChartKit
A powerful data visualization library for iOS, iPadOS, and macOS, supporting a wide range of chart types.
hongyangAndroid/baseAdapter
A versatile Android adapter library for ListView, RecyclerView, GridView, and more, supporting multiple item types.
devicekit/DeviceKit
DeviceKit is a Swift library that provides a value-type replacement for UIDevice, offering a consistent device-related API across iOS and tvOS.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.