Explore Projects
Discover 676 open source projects
Showing 241-260 of 676 projects
mtshiba/pylyzer
A fast, feature-rich static code analyzer & language server for Python
MacPaw/OpenAI
Swift SDK for OpenAI API integration with type-safe wrappers and modern concurrency support.
zenstackhq/zenstack
A TypeScript toolkit that enhances Prisma ORM with flexible authorization layer for RBAC, ABAC, PBAC, ReBAC, and auto-generated type-safe APIs.
azat-io/eslint-plugin-perfectionist
An ESLint plugin that helps developers sort various data structures like objects, imports, types, etc.
assertj/assertj
Fluent testing assertions library for Java and JVM-based languages like Groovy and Kotlin
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.
http4k/http4k
A Kotlin library for building and testing HTTP-based applications in a functional, type-safe way.
kaleidawave/ezno
A fast, correct TypeScript type checker and compiler with additional experiments, built in Rust.
kootenpv/yagmail
A Python library that makes it easy to send emails using Gmail through a simple API.
manifold-systems/manifold
Manifold is a Java compiler plugin that provides advanced features like metaprogramming, extension methods, and more.
runtypes/runtypes
Runtime validation for static types in TypeScript
bczsalba/pytermgui
A Python TUI (terminal user interface) framework with support for mouse, widgets, and a customizable terminal markup language.
envoyproxy/ratelimit
A Go/gRPC service for enabling generic rate limit scenarios from different types of applications.
wee-slack/wee-slack
A WeeChat script for Slack.com that provides features like threads, reactions, read markers, and typing notifications.
schematics/schematics
Python data structures library focused on serialization, deserialization, and validation of complex data schemas.
flix/flix
The Flix Programming Language is a statically-typed, functional, and logic-based language that runs on the JVM.
hayes/pothos
A TypeScript-based library for creating GraphQL schemas using a strongly-typed, code-first approach.
tsdjs/tsd
A TypeScript library that provides type definitions for JavaScript libraries and frameworks.
tc39/proposal-record-tuple
This is a TC39 proposal for the Record and Tuple value types in JavaScript, which provide immutable data structures.
for-GET/know-your-http-well
A comprehensive reference for HTTP headers, media types, methods, relations, and status codes.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.