Search Results for "type"
Sort By:
Showing 338 open source projects for "type"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Ship Agents FasterGemini 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.
-
1
type-fest
A collection of essential TypeScript types
type-fest is a TypeScript utility types library that offers a curated, battle-tested suite of type definitions and type transformations that aren’t included in the TypeScript standard library. It provides types like Except, Merge, LiteralUnion, Writable, Promisable, PartialDeep, JsonObject, and many others that solve everyday typing needs in complex TypeScript codebases. -
2
type-challenges
Collection of TypeScript type challenges with online judge
type-challenges is a massive set of TypeScript type-level puzzles that turn the compiler into a playground for metaprogramming. Each challenge is a miniature kata where you implement types that transform other types—parsing strings, inferring tuples, mapping unions—without writing any runtime code. Problems are arranged from warm-ups to brain-twisters, letting developers build intuition about distributive conditional types, inference in extends, variance, and other corner cases of the type system. ... -
3
next international
Type-safe internationalization (i18n) for Next.js
Type-safe internationalization (i18n) for Next.js. -
4
Pothos GraphQL
Pothos GraphQL is library for creating GraphQL schemas in typescript
...It makes building graphql schemas in typescript easy, fast and enjoyable. The core of Pothos adds 0 overhead at runtime, and has graphql as its only dependency. Pothos is the most type-safe way to build GraphQL schemas in typescript, and by leveraging type inference and typescript's powerful type system Pothos requires very few manual type definitions and no code generation. Pothos has a unique and powerful plugin system that makes every plugin feel like its features are built into the core library. Plugins can extend almost any part of the API by adding new options or methods that can take full advantage of the Pothos type system. ... -
Our Free Plans just got better! | Auth0You 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.
-
5
React Router
Declarative routing for React
...It enables robust routing experiences across React versions. It supports advanced features in React 19. You can use it maximally as a React framework or minimally as a library with your own architecture. First‑class type safety with automatic type generation for route params and data. It is designed to facilitate migration from React 18 to React 19 with non‑breaking upgrades -
6
Valibot
Modular and type safe schema library for validating structural data
Valibot is a modular and type-safe schema library for validating structural data. It provides developers with tools to define and enforce data schemas, ensuring data integrity and consistency across applications. -
7
Strawberry GraphQL
A GraphQL library for Python that leverages type annotations
...Django and ASGI support allow having your API deployed in production in a matter of minutes. The quick start method provides a server and CLI to get going quickly. Strawberry comes with a mypy plugin that enables statically type-checking your GraphQL schema. A Django view is provided for adding a GraphQL endpoint to your application. To support graphql Subscriptions over WebSockets you need to provide a WebSocket enabled server. Create a GraphQL schema defining a User type and a single query field user that will return a hardcoded user. -
8
Shapeless
Generic programming for Scala
Shapeless is a powerful generic programming library for Scala, enabling compile-time abstraction and manipulation of types. It provides features such as HLists (heterogenous lists), generic derivation of type class instances, dependent types, and polymorphic functions—allowing developers to write boilerplate-free, type-safe code. -
9
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. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
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. -
11
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. -
12
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. -
13
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. ... -
14
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). -
15
Rust Programming Language
Empowering everyone to build reliable and efficient software
The Rust Programming Language is a language that empowers you to build reliable and efficient software. It runs blazingly fast and is memory-efficient, so it can power performance-critical services and run on embedded devices. It has a rich type system and ownership model, ensuring both thread and memory safety. Consisting of a standard library, great documentation and a friendly compiler, plus a top-notch build tool, package manager, auto-formatter and many other great tools, it’s the language of choice for increased productivity. Hundreds of companies the world over are using Rust to power an amazing range of cross-platform solutions. ... -
16
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. -
17
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. -
18
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. -
19
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. -
20
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. ... -
21
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. -
22
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. -
23
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. -
24
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. ... -
25
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. ...
