Search Results for "type"
Sort By:
Showing 5037 open source projects for "type"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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
File-Type
Detect the file type of a file, stream, or data
File-Type is a Node.js library that detects the file type of a Buffer or Uint8Array by examining its binary signature, supporting a wide range of file formats. -
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
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. -
4
Type on Strap
Simplistic, responsive jekyll based open source theme
A free and open-source Jekyll theme. Based on Rohan Chandra type-theme packed with extra features and is easily customizable. More colors with less light. You can check how the theme looks. Demo some code snippets, with some mermaid diagrams. Because if you put some code in your blog, you would at least make it searchable and good-looking. -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
Semantic Type Detection
Metadata/data identification Java library
Metadata/data identification Java library. Identifies Base Type (e.g. Boolean, Double, Long, String, LocalDate, LocalTime, ...) and Semantic Type information (e.g. Gender, Age, Color, Country, ...). Extensive country/language support. Extensible via user-defined plugins. Comprehensive Profiling support. Large set of built-in Semantic Types (extensible via JSON defined plugins). Extensive Profiling metrics (e.g. -
6
ty
An extremely fast Python type checker and language server
...The tool is designed from the ground up to power editor integrations, enabling real-time feedback as developers write code with minimal latency. ty includes advanced type system capabilities such as intersection types, improved type inference, and detailed diagnostics that help identify issues even in partially typed codebases. It supports integration with multiple development environments through its language server implementation, providing features like code navigation, auto-completion, and inline hints. -
7
Crystal
The crystal programming language
Crystal’s syntax is heavily inspired by Ruby’s, so it feels natural to read and easy to write, and has the added benefit of a lower learning curve for experienced Ruby devs. Crystal is statically type checked, so any type errors will be caught early by the compiler rather than fail on runtime. Moreover, and to keep the language clean, Crystal has built-in type inference, so most type annotations are unneeded. All types are non-nilable in Crystal, and nilable variables are represented as a union between the type and nil. As a consequence, the compiler will automatically check for null references in compile time, helping prevent the dreadful billion-dollar mistake. ... -
8
ScientificTypes.jl
An API for dispatching on the "scientific" type of data
This package makes a distinction between machine type and scientific type of a Julia object. The machine type refers to the Julia type being used to represent the object (for instance, Float64). The scientific type is one of the types defined in ScientificTypesBase.jl reflecting how the object should be interpreted (for instance, Continuous or Multiclass). -
9
Elm Plugin for Visual Studio Code
Improving your Elm experience since 2019
Errors and pieces of information when changing code and when saving (Control + S) Format on save (Control + S) (Make sure you also enable the "Editor: Format on Save" setting for this to work). Suggests completions and snippets (Control + Space) Test explorer integration. Lists all references to a type alias, module, custom type or function (Alt + Shift + F12) Jump to the definition of a type alias, module, custom type or function. Shows type annotations and documentation on hover for type alias, module, custom type or function. Rename a type alias, module, custom type or function (F2) Browse file by symbols (Control + Shift + O). ... -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
Dotty
The scala 3 compiler, also known as Dotty
...For example, the feature of implicits has been used to model contextual abstraction, to express type-level computation, model type-classes, perform implicit coercions, encode extension methods, and many more. Learning from these use cases, Scala 3 takes a slightly different approach and focuses on intent rather than mechanism. -
11
sqlc SQL Compiler
Generate type-safe code from SQL
sqlc generates type-safe code from SQL. You write queries in SQL. You run sqlc to generate code with type-safe interfaces to those queries. You write application code that calls the generated code. -
12
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. -
13
Idris 2
A purely functional programming language with first class types
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. -
14
Zod
TypeScript-first schema validation with static type inference
TypeScript-first schema validation with static type inference. Zod is a TypeScript-first schema declaration and validation library. I'm using the term "schema" to broadly refer to any data type, from a simple string to a complex nested object. Zod is designed to be as developer-friendly as possible. The goal is to eliminate duplicative type declarations. With Zod, you declare a validator once and Zod will automatically infer the static TypeScript type. ... -
15
Phan
Phan is a static analyzer for PHP
Phan is a static analyzer for PHP. Phan prefers to avoid false positives and attempts to prove incorrectness rather than correctness. Phan looks for common issues and will verify type compatibility on various operations when type information is available or can be deduced. Phan has a good (but not comprehensive) understanding of flow control and can track values in a few use cases (e.g. arrays, integers, and strings). With Phan installed, you'll want to create a .phan/config.php file in your project to tell Phan how to analyze your source code. ... -
16
Cthulhu.jl
The slow descent into madness
Cthulhu.jl is a powerful introspection tool for exploring the Julia compiler’s method dispatch and type inference system. It allows users to interactively descend into the type-inferred lowered and LLVM IR of Julia functions from the REPL. This makes it ideal for developers who want to optimize performance, debug type instability, or understand how Julia compiles code. Named after the Lovecraftian idea of descending into madness, Cthulhu reveals the "underworld" of Julia compilation. -
17
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. ... -
18
FontForge
Free (libre) font editor for Windows, Mac OS X and GNU+Linux
...Use it to create, edit and convert fonts in OpenType, TrueType, UFO, CID-keyed, Multiple Master, and many other formats. FontForge is a free and open source font editor brought to you by a community of fellow type lovers. You can donate to support the project financially. Type design is visually complex as well as highly technical, however it is easier to begin making type now than ever, partly because of the availability of free tools like FontForge. While being a handy tool with which to begin, FontForge is not just for beginners. It has an advanced toolset and is rapidly improving at the time this book is being written. ... -
19
pydantic
Data parsing and validation using Python type hints
Data validation and settings management using Python type hinting. Fast and extensible, pydantic plays nicely with your linters/IDE/brain. Define how data should be in pure, canonical Python 3.6+; validate it with pydantic. id is of type int; the annotation-only declaration tells pydantic that this field is required. Strings, bytes or floats will be coerced to ints if possible; otherwise an exception will be raised. name is inferred as a string from the provided default; because it has a default, it is not required. signup_ts is a datetime field which is not required (and takes the value None if it's not supplied). pydantic will process either a unix timestamp int (e.g. 1496498400) or a string representing the date & time. friends uses python's typing system, and requires a list of integers. ... -
20
Gleam
A friendly language for building type-safe, scalable systems!
Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. -
21
tsafe
The missing TypeScript utils
Tsafe is a lightweight TypeScript utility library designed to improve type safety and code clarity. It provides helpers for runtime type assertions, exhaustive type checking, and ensuring strict type constraints. -
22
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. -
23
TypeChat
Library for building type-safe natural language interfaces with LLMs
...TypeChat addresses these challenges by replacing traditional prompt engineering with a concept called schema engineering. Instead of writing complex prompts, developers define types that represent the intents supported by their applications. It then uses those type definitions to construct prompts for language models and translate user input into structured data that follows the defined schema. -
24
NitroType Cheat v2
An easy-to-use, working NitroType hack for typing at insane speeds!
NitroType Cheat v2 is a browser-based or script-driven tool designed to automate typing performance in the Nitro Type online racing game by simulating extremely high typing speeds and accuracy. It works by intercepting or generating input events that mimic rapid and precise keystrokes, allowing users to achieve unrealistically high words-per-minute scores. The project is built for ease of use, often requiring minimal setup or configuration to begin automating gameplay. -
25
BlockArrays.jl
BlockArrays for Julia
...The advantage to this is that it provides a consistent API for block arrays. Secondly, it also implements two different types of block arrays that follow the AbstractBlockArray interface. The type BlockArray stores each block contiguously while the type PseudoBlockArray stores the full matrix contiguously. This means that BlockArray supports fast noncopying extraction and insertion of blocks while PseudoBlockArray supports fast access to the full matrix to use in for example a linear solver.
