Search Results for "types" - Page 6
Sort By:
Showing 3142 open source projects for "types"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
QDirStat
Qt-based directory statistics
Qt-based directory statistics: KDirStat without any KDE -- from the author of the original KDirStat. QDirStat is a graphical application to shows where your disk space has gone and to help you to clean it up. This is a Qt-only port of the old Qt3/KDE3-based KDirStat, now based on the latest Qt 5. It does not need any KDE libs or infrastructure. It runs on every X11-based desktop on Linux, BSD and other Unix-like systems and of course in a Docker container. -
2
roblox-ts
A TypeScript-to-Luau Compiler for Roblox
roblox-ts is an attempt to bridge the abilities of TypeScript to work in a Roblox environment. We break down your code into an abstract syntax tree and emit functionally similar structures in Luau so that the code behaves the same. -
3
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. -
4
Agent Payments Protocol (AP2)
Building a Secure and Interoperable Future for AI-Driven Payments
...The repository contains sample scenarios (in Python, Android, etc.) that illustrate how agents, servers, and payments flows would work under the protocol. It includes “types” definitions (the core message and object schema) and example agent implementations to demonstrate the mechanics of agent-to-agent and agent-to-server interactions. The design emphasizes flexibility: although their samples use a particular Agent Development Kit (ADK) or runtime, the protocol is intended to be independent of those choices. -
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
dasel
Select, put and delete data from JSON, TOML, YAML, XML and CSV files
...Dasel uses a standard selector syntax no matter the data format. This means that once you learn how to use dasel you immediately have the ability to query/modify any of the supported data types without any additional tools or effort. Dasel can be imported and used just like any other go package. This can be very useful if you need to manipulate data from your own applications. From then on the rest of the docs and comments should be enough to get you going. Uses a standard query/selector syntax across all data formats. ... -
6
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. -
7
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. -
8
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. -
9
Laravel Breadcrumbs
A simple Laravel-style way to create breadcrumbs
A simple Laravel-style way to create breadcrumbs. Breadcrumbs will usually correspond to actions or types of pages. For each breadcrumb, you specify a name, the breadcrumb title, and the URL to link it to. Since these are likely to change dynamically, you do this in a closure, and you pass any variables you need into the closure. -
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.
-
10
JSON Schema to TS
Infer TS types from JSON schemas
A lot of projects use JSON schemas for runtime data validation along with TypeScript for static type checking. -
11
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. ... -
12
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. ... -
13
FHEVM
Integrate FHE with blockchain applications
FHEVM is a framework built by Zama to enable confidential smart contracts on EVM-compatible blockchains using Fully Homomorphic Encryption (FHE). It lets developers write Solidity contracts that handle encrypted inputs, encrypted state, arithmetic and logical operations on encrypted types, while maintaining privacy (data always encrypted), composability (encrypted state works alongside public state), and security (via threshold decryption, KMS, etc). The framework includes on-chain and off-chain components (contracts, coprocessors, gateway, utilities) to orchestrate the whole encrypted data pipeline. -
14
Backpex
Backpex is a highly customizable administration panel for Phoenix Live
Backpex is a highly customizable administration panel for Phoenix LiveView applications. Quickly create beautiful CRUD views and more for your existing data via configurable LiveResources. Easily extendable with your own layouts, views, field types, filters, and more. Backpex comes with a rich set of features to quickly build a beautiful backoffice application. Visit the docs (coming soon) to learn about all the different possibilities. Easily add value metrics (like sums or averages) to your resources for a quick glance at your date. More metric types are in the making. -
15
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). -
16
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... -
17
json-graphql-server
Get a full fake GraphQL API with zero coding in less than 30 seconds
...Based on your data, json-graphql-server will generate a schema with one type per entity, as well as 3 query types and 3 mutation types. -
18
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. -
19
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. ... -
20
bild
Image processing algorithms in pure Go
...The aim of this project is simplicity in use and development over absolute high performance, but most algorithms are designed to be efficient and make use of parallelism when available. It uses packages from the standard library whenever possible to reduce dependency use and development abstractions. All operations return image types from the standard library. Package convolution provides the functionality to create and apply a kernel to an image. Package effect provides the functionality to manipulate images to achieve various looks. Package histogram provides basic histogram types and functions to analyze RGBA images. Package paint provides functions to edit a group of pixels on an image. ... -
21
Pitest
State of the art mutation testing system for the JVM
...If your tests fail then the mutation is killed, if your tests pass then the mutation lived. As it is actually able to detect whether each statement is meaningfully tested, mutation testing is the gold standard against which all other types of coverage are measured. Traditional test coverage (i.e line, statement, branch, etc.) measures only which code is executed by your tests. It does not check that your tests are actually able to detect faults in the executed code. It is therefore only able to identify code that is definitely not tested. -
22
Redis
An in-memory database that persists on disk
...Redis has built-in replication, Lua scripting, LRU eviction, transactions, and different levels of on-disk persistence, and provides high availability via Redis Sentinel and automatic partitioning with Redis Cluster. You can run atomic operations on these types, like appending to a string; incrementing the value in a hash; pushing an element to a list; computing set intersection, union and difference; or getting the member with highest ranking in a sorted set. To achieve top performance, Redis works with an in-memory dataset. Depending on your use case, you can persist your data either by periodically dumping the dataset to disk or by appending each command to a disk-based log. -
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
Loro
Make your JSON data collaborative and version-controlled with CRDTs
...Written in Rust, loro is designed to be compact, fast, and embeddable in a wide range of environments, from desktop to mobile to web via WebAssembly. Its architecture supports multiple data types like text, maps, and lists, and it offers automatic conflict resolution with minimal data overhead. It is ideal for real-time editors, whiteboards, and distributed systems that require reliable, peer-to-peer synchronization. -
25
Aiken
A modern smart contract platform for Cardano
A modern smart contract platform for Cardano.
