Search Results for "type" - Page 2
Sort By:
Showing 1235 open source projects for "type"
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.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
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. -
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
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. -
4
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. -
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.
-
5
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. -
6
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). -
7
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. ... -
8
rtmp-rtsp-stream-client-java
Library to stream in rtmp and rtsp for Android. All code in Java
Library for streaming in RTMP and RTSP. All code in Java. -
9
q Go
Quick and dirty debugging output for tired Go programmers
...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! -
$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.
-
10
FakeItEasy
The easy mocking library for .NET
...Use your fake as you would an instance of the faked type. Asserting uses the same syntax as configuring calls. -
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
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. -
13
Carp
A functional, systems programming language with linear types
Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL. -
14
OpenAPI TypeScript Codegen
NodeJS library that generates Typescript or Javascript clients
OpenAPI TypeScript Codegen is a tool that generates TypeScript clients from OpenAPI specifications, facilitating type-safe API interactions in TypeScript applications. -
15
Lefthook
Fast and powerful Git hooks manager for any type of projects
...See how easy it is to install Lefthook (recently adopted by Discourse, Logux, and Openstax) for most common frontend and backend environments and ensure all your team’s developers can rely on a single flexible tool. Also, it has emojis. Fast and powerful Git hooks manager for Node.js, Ruby or any other type of projects. Fast. It is written in Go. Can run commands in parallel. Powerful. It allows to control execution and files you pass to your commands. Simple. It is single dependency-free binary which can work in any environment. Lefthook is easy to use. Once you configure and setup you can forget that it even exists and rely on the magic underneath. -
16
Anyhow
Flexible concrete Error type built on std::error::Error
...It supports downcasting (so you can inspect the underlying error type), and for recent versions of Rust, it will capture backtraces by default when the underlying error type doesn’t already. It also supports no_std mode (in limited form) by disabling default features. The README distinguishes it from library-oriented error crates (like thiserror): use anyhow when you just care about application-level error handling, not fine-grained types. -
17
Shapeless
Generic programming for Scala
Shapeless is a powerful generic programming library for Scala, enabling compile-time abstraction and manipulation of types. It provides features such as HLists (heterogenous lists), generic derivation of type class instances, dependent types, and polymorphic functions—allowing developers to write boilerplate-free, type-safe code. -
18
ILSpy
.NET Decompiler with support for PDB generation, ReadyToRun, Metadata
ILSpy is the open-source .NET assembly browser and decompiler. Visual Studio 2022 ships with decompilation support for F12 enabled by default (using our engine v7.1). In Visual Studio 2019, you have to manually enable F12 support. Go to Tools / Options / Text Editor / C# / Advanced and check Enable navigation to decompiled source. C# for Visual Studio Code ships with decompilation support as well. To enable, activate the setting "Enable Decompilation Support. ILSpy is distributed under the... -
19
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. -
20
libpqxx
The official C++ client API for PostgreSQL
libpqxx is the official C++ client library for interacting with PostgreSQL, providing a high-level, type-safe API on top of the native libpq library. It allows C++ applications to connect to PostgreSQL databases, execute queries, and handle results with idiomatic C++ syntax. The library is suitable for performance-critical and systems-level applications. -
21
OCaml
The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. ... -
22
env
A simple and zero-dependencies library to parse environment variables
...The downside is that if you do need time in another format, you'll need to create your own type. By default, slice types will split the environment value on ,; you can change this behavior by setting the envSeparator tag. If you set the envExpand tag, environment variables (either in ${var} or $var format) in the string will be replaced according with the actual value of the variable. -
23
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. ... -
24
YAVI
Yet Another Validation for Java
YAVI (pronounced jɑ-vάɪ) is a lambda-based type safe validation for Java. -
25
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.
