Showing 3555 open source projects for "type"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 1
    Prisma Client Python

    Prisma Client Python

    Prisma Client Python is an auto-generated and fully type-safe database

    prisma-client-py is an auto-generated Python ORM for Prisma schema files, bringing Prisma's developer experience to Python projects. It provides a type-safe, intuitive interface for interacting with databases like PostgreSQL and MySQL. prisma-client-py is ideal for Python developers who want static typing, code completion, and seamless integration with modern backend stacks.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    YAVI

    YAVI

    Yet Another Validation for Java

    YAVI (pronounced jɑ-vάɪ) is a lambda-based type safe validation for Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    DynamicQuantities.jl

    DynamicQuantities.jl

    Lightweight + fast physical quantities in Julia

    DynamicQuantities defines a simple statically-typed Quantity type for Julia. Physical dimensions are stored as a value, as opposed to a parametric type, as in Unitful.jl. This can greatly improve both runtime performance, by avoiding type instabilities, and startup time, as it avoids overspecializing methods.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    JET.jl

    JET.jl

    An experimental code analyzer for Julia

    JET employs Julia's type inference system to detect potential bugs and type instabilities. JET is tightly coupled to the Julia compiler, and so each JET release supports a limited range of Julia versions. See the Project.toml file for the range of supported Julia versions. The Julia package manager should install a version of JET compatible with the Julia version you are running.
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5
    actionlint

    actionlint

    Static checker for GitHub Actions workflow files

    ...It analyzes workflow YAML to catch syntax mistakes, invalid keys, expression errors, incorrect action inputs, and workflow configuration problems before they break CI. The tool also performs strong type checks for GitHub Actions expressions, which helps detect nonexistent properties and type mismatches. It can validate reusable workflows, workflow calls, glob syntax, runner labels, cron syntax, and job dependencies. actionlint also integrates with ShellCheck and pyflakes to inspect scripts written inside run: blocks. It is especially useful for developers and teams that rely heavily on GitHub Actions and want faster, more reliable workflow feedback.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    ts-blank-space

    ts-blank-space

    A small, fast, pure JavaScript type-stripper

    ts-blank-space is a fast type-stripping compiler that converts TypeScript to JavaScript. It supports a modern subset of TypeScript by erasing the types and replacing them with whitespace. That's it. It is not a type checker and does not perform any other code transformations. The underlying technique can improve build performance and simplify development. The implementation is pure TypeScript.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Anthropic SDK TypeScript

    Anthropic SDK TypeScript

    Access to Anthropic's safety-first language model APIs

    anthropic-sdk-typescript is the TypeScript / JavaScript client library for the Anthropic REST API, enabling backend or Node.js usage of models like Claude. It wraps API endpoints for creating messages, streaming responses, and managing parameters in a type-safe TS environment. The library is designed for server-side use, interfacing with REST, and is stable for integration in web services or backend agents. Example usage shows how to instantiate the Anthropic client, call client.messages.create(...), and obtain responses. It supports streaming endpoints as well. Because TypeScript provides type safety, it helps avoid common errors in JSON interplay. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    gluon

    gluon

    A static, type inferred and embeddable language written in Rust

    Gluon is a static, type inferred and embeddable language written in Rust. Gluon is a small, statically-typed, functional programming language designed for application embedding. Static typing makes it easier to write safe and efficient interfaces between gluon and the host application. Type inference ensures that types rarely have to be written explicitly giving all the benefits of static types with none of the typing.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    io-ts

    io-ts

    Runtime type system for IO decoding/encoding

    Runtime type system for IO decoding/encoding
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 10
    Compose Destinations

    Compose Destinations

    Annotation processing library for type-safe Jetpack Compose navigation

    A KSP library that processes annotations and generates code that uses Official Jetpack Compose Navigation under the hood. It hides the complex, non-type-safe and boilerplate code you would have to write otherwise. No need to learn a whole new framework to navigate - most APIs are either the same as with the Jetpack Components or inspired by them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    sqlc

    sqlc

    Generate type-safe code from SQL

    sqlc generates type-safe code from SQL. Here's how it works. You write queries in SQL. You run sqlc to generate code with type-safe interfaces to those queries. You write application code that calls the generated code. Seriously, it's that easy. You don't have to write any boilerplate SQL querying code ever again. See the current list of supported programming languages and databases. sqlc needs to know your database schema and queries in order to generate code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ArkType

    ArkType

    TypeScript's 1:1 validator, optimized from editor to runtime

    ArkType is a high-performance runtime type validation library for TypeScript. It offers a 1:1 validator optimized from editor to runtime, enabling developers to define and enforce complex type constraints seamlessly.​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Jet Database

    Jet Database

    Type safe SQL builder with code generation and automatic query result

    Jet is a complete solution for efficient and high-performance database access, consisting of a type-safe SQL builder with code generation and automatic query result data mapping. Jet currently supports PostgreSQL, MySQL, CockroachDB, MariaDB, and SQLite. Future releases will add support for additional databases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    cast

    cast

    safe and easy casting from one type to another in Go

    ...Especially when dealing with interface{} or dynamic/reflect-heavy code, it becomes cumbersome to assert types or convert values reliably; cast addresses that by offering a suite of functions to convert from any input to the target type with predictable behaviour. Rather than relying purely on raw type assertions, it offers ToInt, ToString, ToBool, ToTime, etc., and their “error-returning” counterparts like ToIntE. It is particularly useful when dealing with data from YAML, TOML, JSON or other formats where the type can be uncertain. The design choice is to avoid guessing about conversions: e.g., only a string strictly representing an integer can convert to int. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Psalm

    Psalm

    A static analysis tool for finding errors in PHP applications

    ...Psalm is a free & open-source static analysis tool that helps you identify problems in your code, so you can sleep a little better. Psalm helps people maintain a wide variety of codebases, large and small, ancient and modern. On its strictest setting it can help you prevent almost all type-related runtime errors, and enables you to take advantage of safe coding patterns popular in other languages. Psalm also fixes bugs automatically, allowing you to improve your code without breaking a sweat. If Psalm cannot infer a type for an expression then it uses a mixed placeholder type. mixed types can sometimes mask bugs, so keeping track of them helps you avoid a number of common pitfalls. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Mongoose

    Mongoose

    Elegant mongodb object modeling for node.js

    ...It's designed to work in an asynchronous environment, providing a simple, straightforward approach to object modeling that skips out on the tedious tasks of writing MongoDB validation, casting and business logic boilerplate. Mongoose offers an uncomplicated schema-based solution, and comes with nifty features like type casting, validation, query building, and business logic hooks right out of the box. Mongoose also has a rich set of plugins made by the community and you can write your own to make Mongoose an even better solution for your needs.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 17
    Defaults

    Defaults

    Swifty and modern UserDefaults

    Store key-value pairs persistently across launches of your app. It uses UserDefaults underneath but exposes a type-safe facade with lots of nice conveniences. It's used in production by all my apps (4 million+ users).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    KMongo

    KMongo

    [deprecated] KMongo - a Kotlin toolkit for Mongo

    KMongo was created in 2016, when there was no official MongoDB Kotlin driver. KMongo features are available via Kotlin extensions - you use transparently the core MongoDB java driver API (both sync and reactive streams (ie async) drivers are supported).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    .NET Runtime

    .NET Runtime

    Cross-platform runtime for cloud, mobile, desktop, and IoT apps

    ...With .NET, you can use multiple languages, editors, and libraries to build for web, mobile, desktop, games, and IoT. You can write .NET apps in C#, F#, or Visual Basic. C# is a simple, modern, object-oriented, and type-safe programming language. F# is a cross-platform, open-source, functional programming language for .NET. It also includes object-oriented and imperative programming. Visual Basic is an approachable language with a simple syntax for building type-safe, object-oriented apps. Whether you're working in C#, F#, or Visual Basic, your code will run natively on any compatible OS. ...
    Downloads: 31 This Week
    Last Update:
    See Project
  • 20
    Drizzle ORM

    Drizzle ORM

    Headless TypeScript ORM with a head. Runs on Node, Bun and Deno

    Drizzle ORM is a lightweight, TypeScript-first Object-Relational Mapping (ORM) tool designed for modern JavaScript runtimes. It supports environments like Node.js, Bun, Deno, and even edge runtimes, providing developers with a flexible and type-safe way to interact with databases. Drizzle ORM emphasizes performance and developer experience.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 21
    OpenAI Python

    OpenAI Python

    The official Python library for the OpenAI API

    The OpenAI Python library provides convenient access to the OpenAI REST API from any Python 3.7+ application. The library includes type definitions for all request params and response fields, and offers both synchronous and asynchronous clients powered by httpx.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 22
    typeui.sh

    typeui.sh

    Design system skills for agentic tools

    typeui.sh is a type-safe UI framework designed to streamline the development of user interfaces by leveraging strong typing and structured definitions. It focuses on improving developer productivity by reducing runtime errors and ensuring consistency across UI components. The framework integrates closely with TypeScript, allowing developers to define interfaces and components with strict type validation.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Laravel Mediable

    Laravel Mediable

    Laravel-Mediable is a package for easily uploading and attaching media

    Laravel-Mediable is a package for easily uploading and attaching media files to models with Laravel. The filesystem-driven approach is easily configurable to allow any number of upload directories with different accessibility. Easily restrict uploads by MIME type, extension, and/or aggregate type (e.g. image for JPEG, PNG or GIF). Many polymorphic relationships allow any number of media to be assigned to any number of other models without any need to modify their schema.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    spp

    spp

    A simple and powerful proxy

    Supported protocol: TCP, UDP, RUDP (Reliable UDP), RICMP (Reliable ICMP), RHTTP (Reliable HTTP), KCP, Quic. Support type: forward proxy, reverse agent, SOCKS5 forward agent, SOCKS5 reverse agent. Agreement and type can be freely combined. External agent agreement and internal forwarding protocols can freely combine. Support Shadowsocks plug-in, spp-shadowsocks-plugin, spp-shadowsocks-plugin-android.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Doctrine extensions for PHPStan

    Doctrine extensions for PHPStan

    Doctrine extensions for PHPStan

    ...Validates entity fields in repository findBy, findBy, findOneBy, findOneBy, count and countBy method calls. Interprets EntityRepository MyEntity correctly in phpDocs for further type inference of methods called on the repository. Provides correct return for Doctrine\ORM\EntityManager::getRepository(). Provides correct return type for Doctrine\ORM\EntityManager::find, getReference and getPartialReference when Foo::class entity class name is provided as the first argument. Queries are analyzed statically and do not require a running database server. ...
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo