Search Results for "types" - Page 5
Sort By:
Showing 2679 open source projects for "types"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Keiyoushi Extensions
Extension repository for Mihon and variants
...The project is structured to support modular installation, enabling users to selectively add or remove sources based on their preferences without modifying the core application. It includes a wide variety of sources covering different languages, regions, and content types, making it highly adaptable for global audiences. The repository is actively maintained by contributors who update sources to keep up with website changes and ensure continued functionality. It also enforces certain standards for extension development, promoting consistency and reliability across different providers. -
2
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
3
ArkType
TypeScript's 1:1 validator, optimized from editor to runtime
ArkType is a high-performance runtime type validation library for TypeScript. It offers a 1:1 validator optimized from editor to runtime, enabling developers to define and enforce complex type constraints seamlessly. -
4
AbstractGPs.jl
Abstract types and methods for Gaussian Processes
AbstractGPs.jl is a package that defines a low-level API for working with Gaussian processes (GPs), and basic functionality for working with them in the simplest cases. As such it is aimed more at developers and researchers who are interested in using it as a building block than end-users of GPs. You may want to go through the main API design documentation. -
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.
-
5
scalar_objects
Extension that adds support for method calls on primitive types in PHP
scalar_objects is a PHP extension that adds experimental method-call support for primitive values. It lets developers register handler classes for primitive types such as strings, arrays, integers, booleans, floats, null values, and resources. After registration, a primitive value can call methods through object-like syntax, such as calling a length method on a string. The project is mainly a proof of concept for designing cleaner primitive-type APIs in PHP. It allows API ideas to be prototyped in userland before any proposal for deeper language integration. ... -
6
ZIG
General-purpose programming language and toolchain
A general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. -
7
Telego
Telegram Bot API library for Go
...Provides fully documented, and easy-to-use API for integration with Telegram Bots, and a lot of utility and helper methods for convenience. If you want to use bare Telegram methods and types as they are, without any helpers and utility methods, check out low-level docs. If you want a more convenient way of interacting with Telegram, but still do not use all the helpers that Telego provides, check out medium-level docs. The goal of this library was to create an API with the same types and methods as the actual Telegram Bot API. ... -
8
Fast Android Networking
A Complete Fast Android Networking Library that also supports HTTP/2
...No other single library does and everything like making requests, downloading any type of file, uploading file, loading images from the network in ImageView, etc. There are some libraries but they are outdated. No other library provides a simple interface for doing all types of things in networking like setting priority, canceling, etc. As it uses Okio , No more GC overhead in android applications. Okio is made to handle GC overhead while allocating memory. Okio does some clever things to save CPU and memory. -
9
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. -
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.
-
10
MongoDB PHP Library
The Official MongoDB PHP library
...It supports rich query expressions, bulk writes, change streams, transactions, and GridFS, making it suitable for everything from simple content apps to complex data processing services. The project also includes helpers for working with BSON types such as ObjectId, UTC datetime, and decimals, which helps bridge the gap between native PHP types and MongoDB’s storage model. -
11
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. ... -
12
Swift Numerics
Advanced mathematical types and functions for Swift
Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics in Swift. ... -
13
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. -
14
LiquidHaskell
Liquid Types For Haskell
This is the development site of the LiquidHaskell formal verification tool. If you're a LiquidHaskell user (or just curious), you probably want to go to the documentation website instead. LiquidHaskell (LH) refines Haskell's types with logical predicates that let you enforce important properties at compile time. LH warns you that head is not total as it is missing the case for [] and checks that it is total on NonEmpty lists. The input contract propagates to uses of head which are verified by ensuring the arguments are NonEmpty. LH lets you avoid off-by-one errors that can lead to crashes or buffer overflows. ... -
15
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. ... -
16
peewee
A small, expressive orm, which supports postgresql, mysql and sqlite
...You can override the default name by specifying a table_name attribute in the inner “Meta” class (alongside the database attribute). To learn more about how Peewee generates table names, refer to the Table Names section. There are lots of field types suitable for storing various types of data. Peewee handles converting between pythonic values and those used by the database, so you can use Python types in your code without having to worry. The real strength of our database is in how it allows us to retrieve data through queries. Relational databases are excellent for making ad-hoc queries. ... -
17
Qdrant
Vector Database for the next generation of AI applications
Qdrant is a vector similarity engine & vector database. It deploys as an API service providing search for the nearest high-dimensional vectors. With Qdrant, embeddings or neural network encoders can be turned into full-fledged applications for matching, searching, recommending, and much more! Provides the OpenAPI v3 specification to generate a client library in almost any programming language. Alternatively, utilize ready-made client for Python or other programming languages with additional... -
18
Flutter Rust Bridge
Rust binding generator, feature-rich, but seamless and simple
...It abstracts away the low-level FFI details, letting developers define Rust functions and data structures that are safely callable from Dart. The project supports passing complex types, handling async operations and streams, and integrating with Flutter across mobile and desktop targets. By leaning on Rust’s memory safety and zero-cost abstractions, it enables compute-heavy tasks—parsing, crypto, image/audio processing, and more—without sacrificing Flutter’s developer experience. Build scripts and templates streamline packaging and distribution so the Rust side fits cleanly into CI and multi-platform releases. ... -
19
Stirling-PDF
Web application that allows you to perform operations on PDF files
Stirling PDF is a powerful, locally hosted web-based PDF manipulation tool offering a wide range of editing, conversion, and utility features. It allows users to merge, split, compress, convert, OCR, and perform other operations on PDF files directly from a browser without uploading data to third-party servers. The tool is privacy-conscious, self-hostable via Docker, and built with modularity in mind to allow future expansion and integration. -
20
Embedding Studio
Framework which allows you transform your Vector Database
Embedding Studio is a framework that transforms vector databases into feature-rich search engines. It leverages embeddings to enhance search capabilities, enabling more accurate and context-aware retrieval of information. Embedding Studio supports various data types and integrates seamlessly with existing databases, providing tools for fine-tuning and optimizing embeddings to suit specific application needs. -
21
Parameters.jl
Types w/ default field values, keyword constructors, (un-)pack macros
This is a package I use to handle numerical-model parameters, thus the name. However, it should be useful otherwise too. -
22
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. -
23
Nacos
Dynamic Naming and Configuration Service
Nacos is an easy-to-use, one-stop solution for dynamic service discovery, configuration and service management that allows you to easily build cloud native applications and microservices platforms. It supports almost all types of services, such as Kubernetes service, Spring Cloud RESTFul service, or Dubbo/gRPC service. Nacos is lightweight, easy to deploy and production-ready, having originated from time-tested internal products from Alibaba Group. It’s highly adaptive to cloud architectures, with support for multi-tenants and multi-environments, and can be used for a variety of internet application scenarios. -
24
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. -
25
LangChain
⚡ Building applications with LLMs through composability ⚡
...But using these LLMs in isolation is often not enough to create a truly powerful app - the real power comes when you can combine them with other sources of computation or knowledge. This library is aimed at assisting in the development of those types of applications.
