Showing 1504 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
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    Anyhow

    Anyhow

    Flexible concrete Error type built on std::error::Error

    ...It supports downcasting (so you can inspect the underlying error type), and for recent versions of Rust, it will capture backtraces by default when the underlying error type doesn’t already. It also supports no_std mode (in limited form) by disabling default features. The README distinguishes it from library-oriented error crates (like thiserror): use anyhow when you just care about application-level error handling, not fine-grained types.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Supabase

    Supabase

    The open source Firebase alternative

    ...Write custom code and cron jobs without deploying or scaling servers. We introspect your database to provide APIs instantly. Stop building repetitive CRUD endpoints and focus on your product. Type definitions built directly from your database schema. Use Supabase in the browser without a build process. Develop locally and push to production when you're ready. Manage Supabase projects from your local machine.
    Downloads: 148 This Week
    Last Update:
    See Project
  • 3
    OpenAPI TypeScript Codegen

    OpenAPI TypeScript Codegen

    NodeJS library that generates Typescript or Javascript clients

    OpenAPI TypeScript Codegen is a tool that generates TypeScript clients from OpenAPI specifications, facilitating type-safe API interactions in TypeScript applications.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    libpqxx

    libpqxx

    The official C++ client API for PostgreSQL

    libpqxx is the official C++ client library for interacting with PostgreSQL, providing a high-level, type-safe API on top of the native libpq library. It allows C++ applications to connect to PostgreSQL databases, execute queries, and handle results with idiomatic C++ syntax. The library is suitable for performance-critical and systems-level applications.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Your monitoring isn't a stack. It's a pile. Fix that. Icon
    Your monitoring isn't a stack. It's a pile. Fix that.

    Errors, performance, logs, uptime. One install, one invoice, one UI.

    Replace Datadog, New Relic, and Sentry without adding three more dashboards.
    Free 30 days.
  • 5
    Piccolo

    Piccolo

    A fast, user friendly ORM and query builder which supports asyncio

    Piccolo is a modern, fast, and type-safe ORM for Python, designed with developer ergonomics in mind. It provides a clean syntax for defining schemas and building queries while supporting both sync and async execution. With built-in admin tools and rich introspection, Piccolo is suitable for web apps, APIs, and small-to-medium scale backends that prioritize clarity and speed.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    Cache

    Cache

    Nothing but Cache

    ...The cache is built based on a Chain-of-responsibility pattern, in which there are many processing objects, each knows how to do 1 task and delegates to the next one, so can you compose Storage the way you like. All Storage now are generic by default, so you can get a type of safety experience. Once you create a Storage, it has a type constraint that you don't need to specify a type for each operation afterward.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    OCaml

    OCaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    env

    env

    A simple and zero-dependencies library to parse environment variables

    ...The downside is that if you do need time in another format, you'll need to create your own type. By default, slice types will split the environment value on ,; you can change this behavior by setting the envSeparator tag. If you set the envExpand tag, environment variables (either in ${var} or $var format) in the string will be replaced according with the actual value of the variable.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    rxRust

    rxRust

    Zero-cost & Type-safe Reactive Extensions for Rust

    rxRust is a zero-cost, type-safe implementation of Reactive Extensions for Rust that brings functional reactive programming paradigms into the Rust ecosystem. It enables developers to model asynchronous data streams and event-driven systems declaratively, using composable operators that transform and combine streams over time. The library is designed to leverage Rust’s ownership and type systems to ensure memory safety and efficient resource management without sacrificing performance. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
    Claim $300 Free
  • 10
    pytype

    pytype

    A static type analyzer for Python code

    ...Developers can run pytype locally or wire it into CI to prevent regressions and track tightening type discipline over time. Because pytype infers types, it’s useful during gradual typing, surfacing mismatches, missing attributes, or unsafe unions before runtime. Documentation and a user guide detail configuration, supported features, and how inference interacts with modern Python idioms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Fork TS Checker Webpack Plugin

    Fork TS Checker Webpack Plugin

    Webpack plugin that runs typescript type checker on a separate process

    Webpack plugin that runs TypeScript type checker on a separate process. Speeds up TypeScript type checking (by moving it to a separate process). Supports modern TypeScript features like project references and incremental mode. Supports Vue Single File Component. Displays nice error messages with the code frame formatted. This plugin requires Node.js >=12.13.0+, Webpack ^5.11.0, TypeScript ^3.6.0.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    FakeItEasy

    FakeItEasy

    The easy mocking library for .NET

    ...Use your fake as you would an instance of the faked type. Asserting uses the same syntax as configuring calls.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Chimney

    Chimney

    Scala library for boilerplate-free, type-safe data transformations

    Chimney is a Scala library that facilitates boilerplate-free, type-safe data transformations between different data types. It enables developers to define mappings between source and target types, ensuring that transformations are checked at compile time, thereby reducing runtime errors and enhancing code reliability.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Django Ninja

    Django Ninja

    Fast, Async-ready, Openapi, type hints based framework

    Django Ninja is a web framework for building APIs with Django and Python 3.6+ type hints. Designed to be easy to use and intuitive. Very high performance thanks to Pydantic and async support. Type hints and automatic docs lets you focus only on business logic. Based on the open standards for APIs: OpenAPI (previously known as Swagger) and JSON Schema. Django friendly (obviously) has good integration with the Django core and ORM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    TanStack Router

    TanStack Router

    Fully typesafe Router for React (and friends) w/ built-in caching

    TanStack Router is a modern, fully type-safe routing library designed for React and Solid applications, offering robust routing capabilities with first-class support for data loading, search parameters, nested layouts, and seamless integration with client-side caching libraries like TanStack Query. nd‑to‑end type safety (routes, params, loaders). Schema‑driven search params with validation.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    soup

    soup

    Web Scraper in Go, similar to BeautifulSoup

    ...Error containing an error in a struct if one occurs, else nil is returned. A detailed text explanation of the error can be accessed using the Error() function. A field Type in this struct of type ErrorType will denote the kind of error that took place.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 17
    konform

    konform

    Portable validations for Kotlin

    Portable validations for Kotlin. Kotest provides various matches for use with Konform. They can be used in your tests to assert that a given object is validated successfully or fails validation with specific error messages.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    Go Tools

    Go Tools

    Various packages and tools that support the Go programming language

    ...Some of the tools, godoc and vet for example, are included in binary Go distributions. Others, including the Go guru and the test coverage tool, can be fetched with go get. Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs. This repository uses prettier to format JS and CSS files. The version of prettier used is 1.18.2. It is encouraged that all JS and CSS code be run through this before submitting a change. However, it is not a strict requirement enforced by CI. ...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 19
    q Go

    q Go

    Quick and dirty debugging output for tired Go programmers

    ...For best results, dedicate a terminal to tailing $TMPDIR/q while you work. You also can simply tail -f $TMPDIR/q, but it's highly recommended to use the provided commands. Type q.Q instead of fmt.Printf and your variables will be printed like the provided example. Faster to type, pretty-printed vars and expressions. Easier to see inside structs, doesn't go to noisy-ass stdout. It goes to $TMPDIR/q. q Go offers pretty colors!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Beam

    Beam

    A type-safe, non-TH Haskell SQL library and ORM

    Beam is a Haskell interface to relational databases. Beam uses the Haskell type system to verify that queries are type-safe before sending them to the database server. Queries are written in a straightforward, natural monadic syntax. Combinators are provided for all standard SQL92 features, and a significant subset of SQL99, SQL2003, and SQL2008 features. Beam is standards-compliant but not naive. We recognize that different database backends provide different guarantees, syntaxes, and advantages. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    GraphQL Manifold

    GraphQL Manifold

    Manifold is a Java compiler plugin, features include Metaprogramming

    ...Favor composition over inheritance. Use @link and @part for automatic interface implementation forwarding and delegation. Use the framework to gain direct, type-safe access to any type of resource, such as GraphQL, JSON, XML, YAML, CSV, and even other languages such as JavaScript. Remove the code gen step in your build process. Use types defined in .graphql files directly, no code gen steps! Make GraphQL changes and immediately use them with code completion.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    CppSharp

    CppSharp

    Tools and libraries to glue C/C++ APIs to high-level languages

    ...Such an API can be used to consume an existing native library in your managed code or add managed scripting support to a native codebase. The supported target languages at present are C# and C++/CLI. It can also be used as a library to parse native code into a syntax tree with a rich declaration and type information model. Generates the glue binding code from a syntax tree of the native code. Provides APIs for parsing of C/C++ source code into a syntax tree. Mirrors the Clang's C/C++ AST and type system classes in C# APIs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Kysely

    Kysely

    A type-safe typescript SQL query builder

    Kysely (pronounce “Key-Seh-Lee”) is a type-safe and autocompletion-friendly typescript SQL query builder. Inspired by knex. Mainly developed for node.js but also runs on deno and in the browser. Kysely makes sure you only refer to tables and columns that are visible to the part of the query you're writing. The result type only has the selected columns with correct types and aliases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    fp-ts

    fp-ts

    Functional programming in TypeScript

    ...Because data types all share common interfaces (through type classes), once you learn how to use one data type, you can apply the same concepts to the others.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Agda

    Agda

    Agda is a dependently typed programming language

    Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. ...
    Downloads: 1 This Week
    Last Update:
    See Project
Auth0 Logo