Search Results for "type it" - Page 3
Sort By:
Showing 1141 open source projects for "type it"
View related business solutions-
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.
-
$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.
-
1
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. -
2
do - Dependency Injection
A dependency injection toolkit based on Go 1.18+ Generics
do - Dependency Injection is a lightweight dependency injection toolkit for Go that implements the DI pattern using the language’s generics system to provide strong type safety and minimal runtime overhead. The library offers a service container that allows developers to register, resolve, and manage application dependencies in a structured and maintainable way. It supports multiple service lifecycles such as eager, lazy, and transient loading, along with circular dependency detection and interface binding. ... -
3
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. ... -
4
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. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
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. -
6
tapir
Declarative, type-safe web endpoints library
Declarative, type-safe web endpoints library. With tapir, you can describe HTTP API endpoints as immutable Scala values. Each endpoint can contain a number of input and output parameters. Compile-time guarantees, develop-time completions, read-time information. Separate the shape of the endpoint (the "what"), from the server logic (the "how"). Generate documentation from endpoint descriptions. -
7
.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. ... -
8
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. -
9
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). -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
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. -
11
Servant
Haskell DSL for describing, serving, querying, mocking web apps
Servant provides a type-level domain-specific language (DSL) in Haskell for describing web APIs. From a single API specification, developers can derive server implementations, client libraries, documentation, and more—ensuring consistency and type safety across the stack. We have a tutorial that introduces the core features of servant. After this article, you should be able to write your first server web services, learning the rest from the haddocks' examples. -
12
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. -
13
pg_graphql
GraphQL support for PostgreSQL
...This enables any programming language that can connect to PostgreSQL to query the database via GraphQL with no additional servers, processes, or libraries. Each table receives an entry point in the top-level Query type that is a pageable collection with relationships defined by its foreign keys. Tables similarly receive entry points in the Mutation type that enable bulk operations for insert, update, and delete. -
14
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. ... -
15
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. ... -
16
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. -
17
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. -
18
slang
Type-safe i18n for Dart and Flutter
Type-safe i18n solution using JSON, YAML, CSV, or ARB files. -
19
React Lua
A comprehensive, but not exhaustive, translation of upstream ReactJS
...React Lua is a comprehensive translation of upstream ReactJS from JavaScript into Lua, and is highly-turned for both performance and correctness. When possible, upstream flow type and definitely-typed types have been translated into Luau-type annotations. The major and minor version of React Lua is aligned to the upstream used for the translation, except where noted. Due to the close nature of the two implementations, most articles, videos, or blog posts that give React JS advice can be applied to React Lua -- modulo language differences, of course. -
20
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. ... -
21
FastUI
Build better UIs faster
FastUI is a library that lets developers build interactive user interfaces for FastAPI applications using Pydantic models. It automatically generates frontend components based on data schemas and endpoint logic, reducing the need for manual UI development. Designed to be type-safe, reactive, and fast, FastUI streamlines the creation of web dashboards, admin panels, and internal tools within a FastAPI backend. -
22
next-forge
Production-grade Turborepo template for Next.js apps
...Authentication, billing, analytics, SEO, database ORM and more. Create and preview email templates with a React-based email library. A twblocks website template with a type-safe blog, bulletproof SEO, and legal pages, powered by Content Collections. Simple, beautiful out of the box, and easy-to-maintain documentation. Use Prisma Studio to visualize your database, and generate Prisma client code. -
23
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. ... -
24
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. -
25
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. ...