Search Results for "type" - Page 10
Sort By:
Showing 3513 open source projects for "type"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
elastic4s
Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP
Elastic4s is a concise, idiomatic, reactive, type safe Scala client for Elasticsearch. The official Elasticsearch Java client can of course be used in Scala, but due to Java's syntax it is more verbose and it naturally doesn't support classes in the core Scala core library nor Scala idioms such as typeclass support. Elastic4s's DSL allows you to construct your requests programatically, with syntactic and semantic errors manifested at compile time, and uses standard Scala futures to enable you... -
2
FSharp.Data
F# Data: Library for Data Access
The FSharp.Data package implements core functionality to access common data formats in your F# applications and scripts. It contains F# type providers for working with structured file formats (CSV, HTML, JSON and XML) and helpers for parsing CSV, HTML and JSON files and for sending HTTP requests. This library focuses on providing simple access to structured documents and other data sources. The FSharp.Data type providers for CSV, HTML, JSON and XML infer types from the structure of a sample... -
3
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... -
4
TypeDB
TypeDB: a strongly-typed database
TypeDB is a strongly-typed database with a rich and logical type system. TypeDB empowers you to tackle complex problems, and TypeQL is its query language.TypeDB is a database with a rich and logical type system. TypeDB empowers you to solve complex problems, using TypeQL as its query language. TypeDB provides a strong type system for developers to break down complex problems into meaningful and logical systems. Through TypeQL, TypeDB provides powerful abstractions over low-level and complex... -
Global anycast DNS network. | IBM NS1 ConnectIBM NS1 Connect provides fast, secure connections to users anywhere in the world with premium DNS and advanced, customizable traffic steering. NS1 Connect’s always-on, API-first architecture enables your IT teams to more efficiently monitor networks, deploy changes and conduct routine maintenance.
-
5
Psalm
A static analysis tool for finding errors in PHP applications
It’s easy to make great things in PHP, but bugs can creep in just as easily. 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... -
6
Dotty
The scala 3 compiler, also known as Dotty
The exciting new version of Scala 3 brings many improvements and new features. Scala 3 is a complete overhaul of the Scala language. At its core, many aspects of the type-system have been changed to be more principled. While this also brings exciting new features along (like union types), first and foremost, it means that the type-system gets (even) less in your way and for instance type-inference and overload resolution are much improved. One underlying core concept of Scala was (and still... -
7
Ajv JSON schema validator
The fastest JSON schema Validator
Security and reliability for JavaScript applications. Ensure your data is valid as soon as it's received. Instead of having your data validation and sanitization logic written as lengthy code, you can declare the requirements to your data with concise, easy to read and cross-platform JSON Schema or JSON Type Definition specifications and validate the data as soon as it arrives to your application. TypeScript users can use validation functions as type guards, having type level guarantee... -
8
Rocket
A web framework for Rust
Rocket is a web framework for Rust that makes it simple to write fast, secure web applications without sacrificing flexibility, usability, or type safety. Handling forms is simple and easy. Simply derive FromForm for your structure and let Rocket know which parameter to use. Rocket parses and validates the form request, creates the structure, and calls your function. Bad form request? Rocket doesn’t call your function! What if you want to know if the form was bad? Simple! Change the type... -
9
Foolbox
Python toolbox to create adversarial examples
Foolbox: Fast adversarial attacks to benchmark the robustness of machine learning models in PyTorch, TensorFlow, and JAX. Foolbox 3 is built on top of EagerPy and runs natively in PyTorch, TensorFlow, and JAX. Foolbox provides a large collection of state-of-the-art gradient-based and decision-based adversarial attacks. Catch bugs before running your code thanks to extensive type annotations in Foolbox. Foolbox is a Python library that lets you easily run adversarial attacks against machine... -
Omnichannel contact center platform for enterprises.Deliver a personalized customer experience with every interaction, across every channel, with uContact, net2phone’s cloud contact center solution.
-
10
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... -
11
LaTeXStrings.jl
convenient input and display of LaTeX equation strings for Julia
This is a small package to make it easier to type LaTeX equations in string literals in the Julia language, written by Steven G. Johnson. With ordinary strings in Julia, to enter a string literal with embedded LaTeX equations you need to manually escape all backslashes and dollar signs: for example, $\alpha^2$ is written \$\\alpha^2\$. Also, even though IJulia is capable of displaying formatted LaTeX equations (via MathJax), an ordinary string will not exploit this. -
12
SQLModel
SQL databases in Python, designed for simplicity, compatibility
SQLModel, SQL databases in Python, designed for simplicity, compatibility, and robustness. SQLModel is a library for interacting with SQL databases from Python code, with Python objects. It is designed to be intuitive, easy to use, highly compatible, and robust. SQLModel is based on Python-type annotations, and powered by Pydantic and SQLAlchemy. -
13
Guardrails
Adding guardrails to large language models
Guardrails is a Python package that lets a user add structure, type and quality guarantees to the outputs of large language models (LLMs). At the heart of Guardrails is the rail spec. rail is intended to be a language-agnostic, human-readable format for specifying structure and type information, validators and corrective actions over LLM outputs. We create a RAIL spec to describe the expected structure and types of the LLM output, the quality criteria for the output to be considered valid... -
14
pg_graphql
GraphQL support for PostgreSQL
pg_graphql is a PostgreSQL extension that enables querying the database with GraphQL using a single a SQL function. The extension reflects a GraphQL schema from the existing SQL schema and exposes it through a SQL function, graphql. resolve(...). 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... -
15
q Go
Quick and dirty debugging output for tired Go programmers
q is a better way to do print statement debugging. For best results, dedicate a terminal to tailing $TMPDIR/q while you work. You also can simply tail -f $TMPDIR/q, but it's highly recommended to use the provided commands. Type q.Q instead of fmt.Printf and your variables will be printed like the provided example. Faster to type, pretty-printed vars and expressions. Easier to see inside structs, doesn't go to noisy-ass stdout. It goes to $TMPDIR/q. q Go offers pretty colors! -
16
Kingpin
A Go (golang) command line and flag parser
Kingpin is a fluent-style, type-safe command-line parser. It supports flags, nested commands, and positional arguments. Second to parsing, providing the user with useful help is probably the most important thing a command-line parser does. Kingpin tries to provide detailed contextual help if --help is encountered at any point in the command line (excluding after --). Flags can be specified at any point after their definition, not just immediately after their associated command. Kingpin can... -
17
Web3j
Lightweight Java and Android library for integration with Ethereum
Web3j is a lightweight, highly modular, reactive, type safe Java and Android library for working with Smart Contracts and integrating with Ethereum blockchains. This allows you to work with Ethereum blockchains, without the additional overhead of having to write your own integration code for the platform. Web3j integrates seamlessly with the Epirus Blockchain Explorer. Web3j provides full type-safe access to your blockchain applications. Plugins for leading build tools to simplify the developer... -
18
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. Leverage the metadata to report rich metrics and tracing information. Re-use common endpoint... -
19
Django Ninja
Fast, Async-ready, Openapi, type hints based framework
Django Ninja is a web framework for building APIs with Django and Python 3.6+ type hints. Designed to be easy to use and intuitive. Very high performance thanks to Pydantic and async support. Type hints and automatic docs lets you focus only on business logic. Based on the open standards for APIs: OpenAPI (previously known as Swagger) and JSON Schema. Django friendly (obviously) has good integration with the Django core and ORM. Used by multiple companies on live projects. -
20
Typer
Typer, build great CLIs, based on Python type hints
Typer is a library for building CLI applications that users will love using and developers will love creating. Based on Python 3.6+ type hints. Great editor support. Completion everywhere. Less time debugging. Designed to be easy to use and learn. Less time reading docs. It's easy to use for the final users. Automatic help, and automatic completion for all shells. Minimize code duplication. Multiple features from each parameter declaration. Fewer bugs. The simplest example adds only 2 lines... -
21
Codiga VS Code
VS Code plugin that suggests code blocks as you type and check
VS Code plugin that suggests code blocks as you type and check for errors. Works for JavaScript, TypeScript, Python, Java, Scala, Ruby, PHP, Apex, Docker. -
22
Which Key
Create key bindings that stick
WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type. -
23
slang
Type-safe i18n for Dart and Flutter
Type-safe i18n solution using JSON, YAML, CSV, or ARB files. -
24
Compose Navigation Reimagined
Type-safe navigation library for Jetpack Compose
A small and simple, yet fully fledged and customizable navigation library for Jetpack Compose. -
25
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.