Showing 3544 open source projects for "type it"

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
  • 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
  • 1
    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: 2 This Week
    Last Update:
    See Project
  • 2
    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
  • 3
    Deepkit Framework

    Deepkit Framework

    A new full-featured and high-performance TypeScript framework

    A new full-featured and high-performance TypeScript framework for enterprise applications. High-quality TypeScript libraries and next-gen backend framework. Leverage TypeScript types to the fullest, in completely new ways. A runtime type system for JavaScript, powered by TypeScript types. Deepkit's type compiler makes it possible to use the whole TypeScript type system in any JavaScript runtime for the first time enabling completely new ways of writing data-driven applications. A framework that brings aligned libraries together to make web application development faster, more productive, and easier than ever. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    TypeGPU

    TypeGPU

    A modular and open-ended toolkit for WebGPU

    TypeGPU is a modular TypeScript toolkit for working with WebGPU in a more type-safe and developer-friendly way. It lets developers define GPU logic with advanced type inference while still targeting WebGPU and WGSL-based execution. The project is designed for graphics, compute shaders, GPU programming, and high-performance browser or React Native experiments. It can generate WGSL from TypeScript-style functions, helping developers keep GPU code closer to the rest of their application logic. ...
    Downloads: 1 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
    SQLModel

    SQLModel

    SQL databases in Python, designed for simplicity, compatibility

    ...SQLModel is a library for interacting with SQL databases from Python code, with Python objects. It is designed to be intuitive, easy to use, highly compatible, and robust. SQLModel is based on Python-type annotations, and powered by Pydantic and SQLAlchemy.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    koka

    koka

    Koka language compiler and interpreter

    Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7
    Specification for GraphQL

    Specification for GraphQL

    A working draft of the Specification for GraphQL, a query language

    ...GraphQL does not mandate a particular programming language or storage system for application services that implement it. Instead, application services take their capabilities and map them to a uniform language, type system, and philosophy that GraphQL encodes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Typegoose

    Typegoose

    Define Mongoose models using TypeScript classes

    A library that enables developers to use TypeScript classes as MongoDB models, bridging TypeScript with Mongoose for type-safe MongoDB operations.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    slang

    slang

    Type-safe i18n for Dart and Flutter

    Type-safe i18n solution using JSON, YAML, CSV, or ARB files.
    Downloads: 2 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
    Scala 3

    Scala 3

    The Scala 3 compiler, also known as Dotty

    Scala 3 is the latest major release of the Scala language—featuring a complete compiler rewrite (Dotty), new syntax with optional braces and given/using contextual abstractions, union/intersection types, opaque types, first-class enums, and better type inference. It unifies object-oriented and functional programming paradigms into a safer, more expressive language running on the JVM with full Java interoperability.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 11
    Slonik

    Slonik

    A Node.js PostgreSQL client with runtime and build time type safety

    Slonik is a PostgreSQL client for Node.js that ensures safe and efficient query execution by using tagged template literals, preventing SQL injection attacks and promoting better query structure.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    fmt

    fmt

    Formatting library as an alternative to C stdio and C++ iostreams

    ...The format API is similar in spirit to the C printf family of function but is safer, simpler and several times faster than common standard library implementations. The format string syntax is similar to the one used by str.format in Python. The library is fully type safe, automatic memory management prevents buffer overflow, errors in format strings are reported using exceptions or at compile time. The library produces compact per-call compiled code. The library is highly portable and relies only on a small set of C++11 features, like variadic templates, type traits, rvalue references, decltype, trailing return, types, deleted functions, alias templates. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 13
    ODMantic

    ODMantic

    Sync and Async ODM (Object Document Mapper) for MongoDB

    Odmantic is an Object-Document Mapper (ODM) for MongoDB, designed for Python applications using Pydantic models, providing a seamless integration with type safety and validation.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    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
  • 16
    Symfony PropertyInfo

    Symfony PropertyInfo

    Extracts information about PHP class' properties using metadata

    ...It is particularly useful in scenarios like serialization, form generation, and validation, where understanding the structure of an object is essential. PropertyInfo can fetch data from PHPDoc annotations, reflection, and type hints, offering flexible integration with Symfony and other systems.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 17
    JSON Schema to TS

    JSON Schema to TS

    Infer TS types from JSON schemas

    A lot of projects use JSON schemas for runtime data validation along with TypeScript for static type checking.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18
    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
  • 19
    Caliban

    Caliban

    Functional GraphQL library for Scala

    ...All interfaces are pure and types are referentially transparent. Schemas are type safe and derived at compile time. No need to manually define a schema for every type in your API. Let the compiler do the boring work. Out-of-the-box support for major HTTP server libraries, effect types, Json libraries and more.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    go-linq

    go-linq

    .NET LINQ capabilities in Go

    ...Written in vanilla Go, no dependencies! Complete lazy evaluation with iterator pattern. Safe for concurrent use. Supports generic functions to make your code cleaner and free of type assertions. Supports arrays, slices, maps, strings, channels and custom collections. go-linq has recently introduced breaking API changes with v2.0.0. See release notes for details. v2.0.0 comes with a refined interface, dramatically increased performance and memory efficiency, and new features such as lazy evaluation. Although Go doesn't implement generics, with some reflection tricks, you can use go-linq without typing interface{}s and type assertions. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    pep484 stubs for Django

    pep484 stubs for Django

    PEP-484 stubs for Django

    This package contains type stubs and a custom mypy plugin to provide more precise static types and type inference for Django framework. Django uses some Python "magic" that makes having precise types for some code patterns problematic. This is why we need this project. The final goal is to be able to get precise types for the most common patterns. We are independent from Django at the moment.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    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
  • 23
    react-rollup-boilerplate

    react-rollup-boilerplate

    Boilerplate for creating React component libraries

    This boilerplate is tailored for creating React component libraries, utilizing Rollup.js to bundle components into ES Modules and CommonJS formats. It incorporates TypeScript for type safety and Storybook for interactive component development, streamlining the process of building and distributing reusable React components.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24
    Which Key

    Which Key

    Create key bindings that stick

    WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    PostgreSQL JDBC Driver

    PostgreSQL JDBC Driver

    Postgresql JDBC Driver

    An Open source JDBC driver written in Pure Java (Type 4), which communicates using the PostgreSQL native network protocol. The PostgreSQL JDBC Driver allows Java programs to connect to a PostgreSQL database using standard, database-independent Java code. pgJDBC is an open source JDBC driver written in Pure Java (Type 4), and communicates in the PostgreSQL native network protocol. Because of this, the driver is platform-independent; once compiled, the driver can be used on any system. pgJDBC allows Java programs to connect to a PostgreSQL database using standard, database-independent Java code. pgJDBC provides a reasonably complete implementation of the JDBC specification in addition to some PostgreSQL-specific extensions. ...
    Downloads: 14 This Week
    Last Update:
    See Project