Search Results for "type" - Page 7
Sort By:
Showing 1235 open source projects for "type"
View related business solutions-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
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.
-
1
graphql-go
GraphQL server with a focus on ease of use
...We're trying out the GitHub Project feature to manage graphql-go's development roadmap. Feedback is welcome and appreciated. A resolver must have one method or field for each field of the GraphQL type it resolves. The method or field name has to be exported and match the schema's field's name in a non-case-sensitive way. By default the library uses noop.Tracer. If you want to change that you can use the OpenTelemetry or the OpenTracing implementations. -
2
Scalaz
Principled Functional Programming in Scala
...Its type class–oriented design lets you write generic algorithms over capabilities rather than concrete types, improving reuse and testability. Scalaz also contributes optics, equality/ordering abstractions, and lawful instances with property-based tests to ensure algebraic laws hold. While the Scala ecosystem now includes sibling projects, Scalaz remains a deep toolbox for principled FP in Scala and a reference point for category-theory-inspired design on the JVM. -
3
GraphQL Tools
Build, mock, and stitch a GraphQL schema using the schema language
...When using graphql-tools, you describe the schema as a GraphQL-type language string. -
4
Checked C
Checked C is an extension to C that lets programmers write C code
...The project is developing an extension to C called Checked C that adds checking to C to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. -
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
Cats Effect
The pure asynchronous runtime for Scala
Cats-Effect is a high-quality functional programming library for Scala that provides a principled way to represent and manage side effects, particularly asynchronous and concurrent computations. It is part of the broader Typelevel ecosystem and builds on the abstractions from Cats (such as Functor, Monad, etc.). The core abstraction is the IO type (or effect types more generally), which encodes effectful computations in a pure, referentially transparent way. Cats-Effect offers capabilities like deferred execution, cancellation, resource safety (Resource), fiber concurrency (lightweight threads), and interoperation with underlying runtime platforms (JVM, Java concurrency, etc.). ... -
6
ZIO
A type-safe, composable library for async and concurrent programming
ZIO is a purely functional, type-safe Scala library that provides an Effect (ZIO[R,E,A]) abstraction for asynchronous, concurrent programming. It offers resource safety, fiber-based concurrency, strong error handling, and deterministic testing—all with zero external dependencies. Ideal for building scalable backend systems with compositional architecture. -
7
consumet.ts
Nodejs library that provides high-level APIs for obtaining information
Consumet.ts is an API wrapper for accessing various entertainment content providers, such as anime, movies, and manga. It simplifies fetching media-related data from multiple sources using TypeScript. -
8
Zstandard
Zstandard - Fast real-time compression algorithm
Zstandard is a fast compression algorithm, providing high compression ratios. It also offers a special mode for small data, called dictionary compression. The reference library offers a very wide range of speed / compression trade-off, and is backed by an extremely fast decoder (see benchmarks below). Zstandard library is provided as open source software using a BSD license. Its format is stable and published as IETF RFC 8478. The negative compression levels, specified with --fast=#, offer... -
9
Trouble.nvim
Pretty diagnostics, references, telescope results, quickfix, location
A pretty list for showing diagnostics, references, telescope results, quickfix and location lists to help you solve all the trouble your code is causing. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
Mangle
Go library for Datalog-style logical reasoning and domain modeling
...It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. Unlike SQL, Mangle’s declarative syntax naturally supports recursion and modular program structure, making it suitable for representing hierarchical or interconnected datasets like dependency graphs or knowledge graphs. The project’s implementation is provided as a Go library, enabling developers to embed Mangle directly into their applications or services, such as database-like gRPC systems. -
11
Functional programming library golang
functional programming library for golang
...Offer helpers to isolate side effects into lazily executed functions (IO). Expose a consistent set of compositions to create new functions from existing ones. For each data type, there exists a small set of composition functions. These functions are called the same across all data types, so you only have to learn a small number of function names. The semantic of functions of the same name is consistent across all data types. -
12
timoni
Timoni is a package manager for Kubernetes, powered by CUE
...The Timoni project strives to improve the UX of authoring Kubernetes configs. Instead of mingling Go templates with YAML like Helm, or layering YAML on top of each-other like Kustomize, Timoni relies on cuelang's type safety, code generation and data validation features to offer a better experience of creating, packaging and delivering apps to Kubernetes. Note that Timoni in under active development and is still in its infancy. The APIs and command-line interface may change in a backward incompatible manner. -
13
Error Prone
Catch common Java mistakes as compile-time errors
...And sometimes a refactoring that seems safe can leave behind code that will never do what’s intended. We’re used to getting help from the compiler, but it doesn’t do much beyond static type checking. Using Error Prone to augment the compiler’s type analysis, you can catch more mistakes before they cost you time, or end up as bugs in production. We use Error Prone in Google’s Java build system to eliminate classes of serious bugs from entering our code, and we’ve open-sourced it, so you can too. -
14
Ebean
Ebean ORM
...For ORM queries Ebean can profile the object graph being used and either automatically tune the query. Docker test containers for all the supported databases. Get 100% test coverage on all the features of the database we use. We can build queries using type safe query beans. IDE auto-complete when writing queries, compile time checking and it's FUN. Optimize queries to only fetch what we need (partial objects). Automatically avoid N+1 via a smart load context. -
15
TinyGo
Go compiler for small place
TinyGo brings the Go programming language to embedded systems and to the modern web by creating a new compiler based on LLVM. You can compile and run TinyGo programs on over 60 different microcontroller boards such as the BBC micro:bit and the Arduino Uno. TinyGo can also produce WebAssembly (WASM) code which is very compact in size. You can compile programs for web browsers, as well as for server and edge computing environments that support the WebAssembly System Interface (WASI) family of... -
16
templUI
A growing collection of beautifully designed UI components for Go
templUI is a modern UI component library built specifically for Go applications using the templ templating language, offering a developer-first approach to building interfaces with strong type safety and performance. It provides a growing collection of beautifully designed, production-ready components styled with Tailwind CSS, allowing developers to construct modern web interfaces without relying on heavy frontend frameworks. One of its defining principles is code ownership, meaning developers can either import components directly or copy them into their projects using a CLI, ensuring full control over customization and long-term maintenance. ... -
17
simple-modern-uv
A minimal, modern Python project template
simple-modern-uv is a minimal yet production-ready Python project template that uses the uv toolchain to streamline dependency management, virtualenvs, and packaging. It aims to be “small but serious,” giving you the essentials—testing, linting, type checking, formatting, GitHub Actions—without burying you in boilerplate. The layout is opinionated around a pyproject.toml so configuration is centralized and easy to inspect. Defaults encourage good hygiene from day one, including reproducible builds and a clean release workflow to PyPI. Because the template is intentionally compact, it’s easy to understand and customize for libraries, CLIs, or small services. ... -
18
Go QueryString
go-querystring is Go library for encoding structs into URL query
go-querystring is a lightweight Go library developed by Google for encoding Go structs into URL query strings. It simplifies the process of constructing URLs with typed parameters, offering a clean, type-safe approach to building query strings programmatically. The library’s query package exposes a single Values() function that converts struct fields (tagged with url tags) into properly encoded query parameters. It is particularly useful for APIs or HTTP clients that represent query parameters as structs—such as in the go-github client library. ... -
19
Fable
F# to JavaScript compiler
Type inference provides robustness and correctness, but without the cost of additional code. Let the compiler catch bugs for you. Fable produces readable JavaScript code compatible with ES2015 standards and popular tooling like Webpack. Call JavaScript from Fable or Fable from JS. Use NPM packages. The entire JavaScript ecosystem is at your fingertips. -
20
tRPC
End-to-end typesafe APIs made easy
tRPC allows you to easily build & consume fully typesafe APIs, without schemas or code generation. As TypeScript and static typing increasingly become a best practice in web programming, the API presents a major pain point. We need better ways to statically type our API endpoints and share those types between our client and server (or server-to-server). We set out to build a simple library for building typesafe APIs that leverage the full power of modern TypeScript. Introducing RPC! Automatic type safety & autocompletion are inferred from your API paths, their input data, & outputs. No code generation, run-time bloat, or build pipeline. ... -
21
Iced
A cross-platform GUI library for Rust, inspired by Elm
...It expects you to split user interfaces into four different concepts, which are: the state of your app; messages, which are user interactions or other meaningful events; view logic, which displays your state as widgets that can result in messages; and update logic, which offers a way to update your state and react to messages. Iced is very simple and easy to use, and is type-safe. It offers many great features including built-in widgets and custom widget support, debug overlay, a modular ecosystem and more. -
22
Objeck
Objeck is a modern object-oriented programming language
General-purpose object-oriented and functional programming language. Designed to be intuitive, lightweight, cross-platform and fast. The Objeck compiler produces two types of binaries. The first is an executable and the second type is a library. Libraries can be linked into executables by passing the names of libraries to the compiler. Objeck can be built for a variety of targets. The language is implemented in C++, assembly (i.e., generated machine code) and assisted by code generators for bindings to SDL2 and GTK 3/4. -
23
pikepdf
A Python library for reading and writing PDF, powered by QPDF
...It provides a Pythonic wrapper around the C++ PDF content transformation library, QPDF. Python + QPDF = “py” + “qpdf” = “pyqpdf”, which looks like a dyslexia test and is no fun to type. But say “pyqpdf” out loud, and it sounds like “pikepdf”. pikepdf is a library intended for developers who want to create, manipulate, parse, repair, and abuse the PDF format. It supports reading and write PDFs, including creating from scratch. Thanks to QPDF, it supports linearizing PDFs and access to encrypted PDFs. -
24
Nushell
A new type of shell
NuShell (often shortened to “Nu”) is a modern, cross-platform shell written in Rust that treats all data as structured tables rather than plain text. It supports pipelines on rich typed data, has built-in commands for JSON/CSV/SQL/excel, and offers scripting, autocompletion, scoped variables, and strong error handling—bridging the gap between shell scripting and programming. -
25
RabbitMQ Server
Core server and tier 1 (built-in) plugins
...RabbitMQ runs on many operating systems and cloud environments, and provides a wide range of developer tools for most popular languages. Supports multiple messaging protocols, message queuing, delivery acknowledgement, flexible routing to queues, multiple exchange type. Deploy as clusters for high availability and throughput; federate across multiple availability zones and regions. HTTP-API, command line tool, and UI for managing and monitoring RabbitMQ.
