Search Results for "types" - Page 3
Sort By:
Showing 1069 open source projects for "types"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
Guava
Google core libraries for Java
Guava is a set of core libraries that includes new collection types (such as multimap and multiset), immutable collections, a graph library, and utilities for concurrency, I/O, hashing, primitives, strings, and more! -
2
Supabase CLI
Supabase CLI. Manage postgres migrations, run Supabase locally
Supabase CLI is the command-line interface for managing and developing Supabase projects. It streamlines local development, database migrations, environment management, and project deployment. Designed for developers building with Supabase, the CLI provides an efficient way to work with the entire Supabase stack—PostgreSQL, auth, storage, and edge functions—directly from the terminal. -
3
Buildtools for bazel
A bazel BUILD file formatter and editor
...Different linter warnings may be limited to any subset of these file types. -
4
ggshield
Detect and validate 500+ types of hardcoded secrets
GitGuardian’s ggshield is an open-source command-line interface (CLI) tool designed to help developers and security teams detect hardcoded secrets and sensitive credentials early in the development process, either locally or in CI/CD pipelines. It scans source code, configuration files, commit history, and other artifacts to automatically detect hundreds of different secret types — such as API keys, tokens, and passwords — helping prevent accidental leaks before they reach version control or production environments. ggshield can be used interactively on a developer’s machine, integrated as a pre-commit or pre-push git hook, and run as part of automated build or merge workflows to enforce security policies consistently across teams. ... -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
Agda
Agda is a dependently typed programming language
...It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram, Matita and NuPRL. -
6
Volcano
A Cloud Native Batch System (Project under CNCF)
...It provides a suite of mechanisms that are commonly required by many classes of batch & elastic workload including machine learning/deep learning, bioinformatics/genomics, and other "big data" applications. These types of applications typically run on generalized domain frameworks like TensorFlow, Spark, Ray, PyTorch, MPI, etc, which Volcano integrates with. Volcano builds upon a decade and a half of experience running a wide variety of high-performance workloads at scale using several systems and platforms, combined with best-of-breed ideas and practices from the open-source community. ... -
7
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. ... -
8
Swift for GraphQL
The Swift GraphQL implementation for macOS and Linux
The Swift implementation for GraphQL, a query language for APIs created by Facebook. The GraphQLSchema object can be used to define GraphQL Schemas and Types. These schemas are made up of types, fields, arguments, and resolver functions. This repo only contains the core GraphQL implementation and does not focus on the ease of schema creation. For a better experience when creating your GraphQL schema use Graphiti. This package supports GraphQL subscription, but until the integration of AsyncSequence in Swift 5.5 the standard Swift library did not provide an event-stream construct. ... -
9
Eclipse Collections
Eclipse Collections is a collections framework for Java
...Integrate it to your codebase today with your favorite build tools! Maximize the power of Java 8 Lambda expressions and method references with rich APIs directly available on your collections. Many container types include immutable collections, primitive collections, bimaps, multimaps and bags. You can make use of various container types, leveraging handy factory methods for instantiation. Eclipse Collections provides a memory-efficient implementation of Sets and Maps as well as primitive collections. Check out the Eclipse Collections Kata, a fun way to help you learn idiomatic Eclipse Collections usage. ... -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
PureScript
A strongly-typed language that compiles to JavaScript
...Excellent tooling and editor support with instant rebuilds. An active community with many learning resources. Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching. Row polymorphism and extensible records. Higher kinded types and type classes with functional dependencies, as well as higher-rank polymorphism. Precompiled binaries are available for OSX, Linux, and Windows. The Pursuit package database hosts searchable documentation for PureScript packages. ... -
11
CXX
Safe interop between Rust and C++
...The general idea of CXX is to define the signatures of both sides of the FFI boundary embedded together in one Rust module. CXX gets a complete picture from this of the boundary, and through it is able to perform static analyses against the types and function signatures, ensuring that both Rust's and C++'s invariants and requirements are upheld. CXX then emits the relevant extern "C" signatures on both sides through a pair of code generators. This is done together with any necessary static assertions needed for later in the build process to verify correctness. The result is an FFI bridge that operates at zero or negligible overhead, with no copying, serialization or memory allocation needed. -
12
troposphere
Python library to create AWS CloudFormation descriptions
The troposphere library allows for easier creation of the AWS CloudFormation JSON by writing Python code to describe the AWS resources. troposphere also includes some basic support for OpenStack resources via Heat. To facilitate catching CloudFormation or JSON errors early the library has property and type checking built into the classes. -
13
Groq TypeScript / Node.s
The official Node.js / Typescript library for the Groq API
...It exports strongly-typed interfaces for models, chat completions, file uploads (e.g. for audio transcription), and other endpoints, allowing for better type safety and developer experience when using Groq from TypeScript. The library also supports passing different input types (file streams, blobs, fetch responses) for media-related endpoints, making it flexible for diverse environments (backend, browser, serverless). With this SDK, developers can call Groq’s models, transcribe audio, perform file uploads — all with minimal boilerplate — which streamlines creation of AI-enabled applications in the JavaScript/TypeScript ecosystem. -
14
NG-ZORRO
Angular UI Component Library based on Ant Design
An enterprise-class Angular UI component library based on Ant Design, all components are open source and free to use under MIT license. An enterprise-class UI design language for Angular applications. 60+ high-quality Angular components out of the box. Written in TypeScript with predictable static types. The whole package of development and design resources and tools. Support OnPush mode, high performance. Powerful theme customization in every detail. Internationalization support for dozens of languages. -
15
Revise.jl
Automatically update function definitions in a running Julia session
Revise.jl is a Julia package that automatically updates functions, types, and modules in a running Julia session when their source code changes. It significantly improves the development workflow by removing the need to restart the REPL or re-include files after edits. Revise is ideal for iterative coding, package development, and interactive exploration, enabling a fast and fluid programming experience. -
16
Kint
Kint - Advanced PHP dumper
...It replaces standard debugging methods like var_dump() and print_r() with a more readable and structured output, highlighting key details and nesting. Kint is designed to simplify debugging by automatically detecting variable types and presenting them in a clean, interactive format. -
17
cast
safe and easy casting from one type to another in Go
Cast is a Go library that provides easy and safe conversion (casting) between different types in Go programs. 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. ... -
18
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. The repository includes tests for each puzzle so you get immediate, compiler-driven feedback when your solution is correct. ... -
19
Soufflé
Datalog variant for tool designers crafting analyses in Horn clauses
...Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using de-specialization techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. Simple component model for Datalog specifications. Recursively defined record types/ADTs (aka. constructors) for tuples. User-defined functors. Strongly-typed types for safety. Subsumption, aggregation, Choice Construct (APLAS'21). -
20
Relay Library for GraphQL.js
A library to help construct a graphql-js server supporting react-relay
A library to help construct a graphql-js server supporting react-relay. This is a library to allow the easy creation of Relay-compliant servers using the GraphQL.js reference implementation of a GraphQL server. A basic understanding of GraphQL and of the GraphQL.js implementation is needed to provide context for this library. This library is designed to work with the GraphQL.js reference implementation of a GraphQL server. An overview of the functionality that a Relay-compliant GraphQL... -
21
GraphQL Mesh
GraphQL Mesh — Query anything, run anywhere
...The goal of GraphQL Mesh is to let developers easily access services that are written in other APIs specs (such as gRPC, OpenAPI/Swagger, OData, SOAP/WSDL, Apache Thrift, Mongoose, PostgreSQL, Neo4j, and also GraphQL) with GraphQL queries and mutations.GraphQL Mesh gives the developer the ability to modify the output schemas, link types across schemas and merge schema types. You can even add custom GraphQL types and resolvers that fit your needs. It allows developers to control the way they fetch data, and overcome issues related to backend implementation, legacy API services, chosen schema specification and non-typed APIs. -
22
Kysely
A type-safe typescript SQL query builder
...Kysely makes sure you only refer to tables and columns that are visible to the part of the query you're writing. The result type only has the selected columns with correct types and aliases. As an added bonus you get autocompletion for all that stuff. As shown in the gif above, through the pure magic of modern typescript, Kysely is even able to parse the alias given to pet.name and add the pet_name column to the result row type. Kysely is able to infer column names, aliases and types from selected subqueries, joined subqueries, with statements and pretty much anything you can think of. ... -
23
ZIG
General-purpose programming language and toolchain
A general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. -
24
graphql-compose-mongoose
Mongoose model converter to GraphQL types with resolvers
This is a plugin for graphql-compose, which derives GraphQLType from your Mongoose model. Also derives a bunch of internal GraphQL Types. Provide all CRUD resolvers, including graphql connection, also provide basic search via operators. GraphQL Compose Mongoose is a tool to automatically generate a GraphQL API from Mongoose models, simplifying GraphQL schema creation. -
25
AWS SDK for JavaScript v3
Modularized AWS SDK for JavaScript
The AWS SDK for JavaScript v3 is a modularized client for AWS services, enabling developers to interact with AWS APIs in web browsers and Node.js environments with improved performance and reduced bundle sizes.
