Search Results for "type it" - Page 3
Sort By:
Showing 1306 open source projects for "type it"
View related business solutions-
$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.
-
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.
-
1
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. -
2
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. -
3
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. ... -
4
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. -
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.
-
5
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. -
6
J2CL
Java to Closure JavaScript transpiler
J2CL is a lightweight transpiler developed by Google that converts Java source code into highly optimized JavaScript designed to work seamlessly with the Closure Compiler. It allows developers to write applications in Java while targeting web environments, enabling strong type safety and code reuse across platforms. Unlike monolithic frameworks, J2CL focuses purely on transpilation, leaving optimization, bundling, and runtime concerns to the broader toolchain, which provides flexibility in modern development workflows. The generated JavaScript is fully type-safe and can be aggressively optimized by the Closure Compiler to reduce code size and improve performance. ... -
7
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. -
8
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. -
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). -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
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. ... -
11
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. ... -
12
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. ... -
13
slang
Type-safe i18n for Dart and Flutter
Type-safe i18n solution using JSON, YAML, CSV, or ARB files. -
14
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. -
15
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. -
16
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. ... -
17
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. -
18
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. ... -
19
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. -
20
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. -
21
AutoNumeric
Standalone library that provides live as-you-type formatting
AutoNumeric is a standalone library that provides live-as-you-type formatting for international numbers and currencies. All in all, AutoNumeric supports most international numeric formats and currencies including those used in Europe, Asia, and North and South America. AutoNumeric focuses on efficiency and speed making all your input interactions blazing fast. No dependencies are needed to use AutoNumeric. -
22
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. ... -
23
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. -
24
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. -
25
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.