Search Results for "type it" - Page 2
Sort By:
Showing 3543 open source projects for "type it"
View related business solutions-
$300 Free Credits to Build on Google CloudStart 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.
-
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
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. -
2
Pyright
Static type checker for Python
Type inference for function return values, instance variables, class variables, and globals. Type guards that understand conditional code flow constructs like if/else statements. Type hinting generics in standard collections. Pyright ships as both a command-line tool and a VS Code extension that provides many powerful features that help improve programming efficiency. -
3
IHP
The fastest way to build type safe web apps
...IHP is a batteries-included web framework, optimized for longterm productivity and programmer happiness. With IHP all your application code is written in Haskell - a functional programming language with an incredible type system, used by giants such as GitHub and Facebook. Thanks to Haskell's impressive type system you can write code that is far more robust than you have seen before. -
4
RunJS
A JavaScript playground that auto-evaluates as you type
Explore and experiment with JavaScript and TypeScript, visualize your ideas and get instant feedback as you type. Exploring JavaScript has never been easier. Live feedback as you type, with per-line results, makes it super clear what your code is doing. With RunJS you have access to Node and Browser APIs, including full DOM access. This gives you a level of versatility that's not possible in a standard REPL or Chrome console. Babel and TypeScript support enables you to write modern, up-to-date syntax. ... -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
JET.jl
An experimental code analyzer for Julia
JET employs Julia's type inference system to detect potential bugs and type instabilities. JET is tightly coupled to the Julia compiler, and so each JET release supports a limited range of Julia versions. See the Project.toml file for the range of supported Julia versions. The Julia package manager should install a version of JET compatible with the Julia version you are running. -
6
OSINT Framework
OSINT Framework
OSINT-Framework is a web-based intelligence resource map designed to help investigators and researchers quickly locate free open-source intelligence tools and data sources. Rather than functioning as an automated scanner, it organizes hundreds of OSINT resources into a structured, navigable interface grouped by investigation type, such as usernames, email addresses, domains, and social media. The project was originally created from an information security perspective but has since expanded to support journalists, analysts, and digital investigators across many disciplines. Its value lies in curation and discoverability, allowing users to pivot rapidly between relevant intelligence tools during investigations. ... -
7
Prisma
Next-generation ORM for Node.js and TypeScript
...We designed the API to be intuitive for both SQL veterans and people brand new to databases. Auto-completion, linting, formatting and more help Prisma developers in VSCode stay confident without distractions. Prisma Client puts extra emphasis on extensive type safety for more productive development in TypeScript. Prisma is a server-side library that helps your app read and write data to the database in an intuitive and safe way. -
8
DynamicQuantities.jl
Lightweight + fast physical quantities in Julia
DynamicQuantities defines a simple statically-typed Quantity type for Julia. Physical dimensions are stored as a value, as opposed to a parametric type, as in Unitful.jl. This can greatly improve both runtime performance, by avoiding type instabilities, and startup time, as it avoids overspecializing methods. -
9
Laravel Mediable
Laravel-Mediable is a package for easily uploading and attaching media
Laravel-Mediable is a package for easily uploading and attaching media files to models with Laravel. The filesystem-driven approach is easily configurable to allow any number of upload directories with different accessibility. Easily restrict uploads by MIME type, extension, and/or aggregate type (e.g. image for JPEG, PNG or GIF). Many polymorphic relationships allow any number of media to be assigned to any number of other models without any need to modify their schema. -
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.
-
10
Doctrine extensions for PHPStan
Doctrine extensions for PHPStan
...Validates entity fields in repository findBy, findBy, findOneBy, findOneBy, count and countBy method calls. Interprets EntityRepository MyEntity correctly in phpDocs for further type inference of methods called on the repository. Provides correct return for Doctrine\ORM\EntityManager::getRepository(). Provides correct return type for Doctrine\ORM\EntityManager::find, getReference and getPartialReference when Foo::class entity class name is provided as the first argument. Queries are analyzed statically and do not require a running database server. ... -
11
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. -
12
swift-html
Swift DSL for type-safe, extensible, and transformable HTML documents
A Swift DSL for type-safe, extensible, and transformable HTML documents. The popular choice for rendering HTML in Swift these days is to use templating languages, but they expose your application to runtime errors and invalid HTML. Our library prevents these runtime issues at compile-time by embedding HTML directly into Swift’s powerful type system. Underneath the hood these tag functions html, body, h1, etc., are just creating and nesting instances of a Node type, which is a simple Swift enum. ... -
13
Kysely SQL
A type-safe TypeScript SQL query builder
Kysely is a type-safe TypeScript SQL query builder that provides an intuitive and autocompletion-friendly API. It allows developers to construct complex SQL queries with full type safety, reducing runtime errors and improving code maintainability. Kysely supports various SQL dialects and is compatible with Node.js, Deno, and browser environments. -
14
Jet Database
Type safe SQL builder with code generation and automatic query result
Jet is a complete solution for efficient and high-performance database access, consisting of a type-safe SQL builder with code generation and automatic query result data mapping. Jet currently supports PostgreSQL, MySQL, CockroachDB, MariaDB, and SQLite. Future releases will add support for additional databases. -
15
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. ... -
16
Psalm
A static analysis tool for finding errors in PHP applications
...Psalm is a free & open-source static analysis tool that helps you identify problems in your code, so you can sleep a little better. Psalm helps people maintain a wide variety of codebases, large and small, ancient and modern. On its strictest setting it can help you prevent almost all type-related runtime errors, and enables you to take advantage of safe coding patterns popular in other languages. Psalm also fixes bugs automatically, allowing you to improve your code without breaking a sweat. If Psalm cannot infer a type for an expression then it uses a mixed placeholder type. mixed types can sometimes mask bugs, so keeping track of them helps you avoid a number of common pitfalls. ... -
17
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. -
18
CellTypist
A tool for semi-automatic cell type classification, harmonization
CellTypist is an automated tool for cell type classification, harmonization, and integration. Classification, transfer cell type labels from the reference to query dataset. Harmonization, match and harmonize cell types defined by independent datasets. integration, integrate cell and cell types with supervision from harmonization. CellTypist recapitulates cell type structure and biology of independent datasets. -
19
elastic4s
Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP
...Each request is an immutable object, so you can create requests and safely reuse them, or further copy them for derived requests. Because each request is strongly typed your IDE or editor can use the type information to show you what operations are available for any request type. -
20
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. -
21
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. -
22
Defaults
Swifty and modern UserDefaults
Store key-value pairs persistently across launches of your app. It uses UserDefaults underneath but exposes a type-safe facade with lots of nice conveniences. It's used in production by all my apps (4 million+ users). -
23
URL Routing
A bidirectional router with more type safety and less fuss
swift-url-routing is a bidirectional router with more type safety and less fuss. This library is built with Parsing. -
24
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. -
25
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. ...