Search Results for "types" - Page 4
Sort By:
Showing 1297 open source projects for "types"
View related business solutions-
Build Securely on Azure 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.
-
$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.
-
1
INI
Package ini provides INI file read and write functionality in Go
...Not limited to reading from a file, parse from []byte type raw data, or streaming from io.ReadCloser works like a charm. Wide-range support of variant formats includes but is not limited to my.cnf, .gitconfig, or even unparseable sections. Automatically convert to native types of Go at no cost. Let you focus on the code logic and no more tedious conversions. Map your configuration to a user-defined struct{} to be more object-oriented. Map back and save when you get the work done. Auto-type conversion, candidate value limitation, quick slice generation, in-fly data validation. More than you can ever imagine! ... -
2
Skunk
A data access library for Scala + Postgres
...Skunk is pre-release software! Code and documentation are under active development! Skunk is published for Scala 2.12/2.13/3.1 and can be included in your project.Query and Command types are usually inferrable, but specifying a type ensures that the chosen encoders and decoders are consistent with the expected input and output Scala types. Postgres provides a protocol for execution of simple queries, returning all rows at once (Skunk returns them as a list). -
3
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. -
4
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. -
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.
-
5
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. -
6
redis-rs
Redis library for rust
Redis-rs is a Rust library for interacting with Redis databases, offering high-performance data manipulation capabilities for Rust developers. -
7
VERT.sh
The next-generation file converter
VERT is a modern, privacy-focused file conversion platform that leverages WebAssembly to perform conversions entirely on the user’s device rather than relying on cloud-based processing. Built with Svelte and TypeScript, it provides a clean and responsive interface for converting a wide variety of file types, including images, audio, video, and documents. One of its defining characteristics is its local-first approach, which eliminates the need to upload files to external servers, thereby improving both privacy and performance. The system supports over 250 file formats and includes customizable conversion settings, allowing users to fine-tune output parameters. ... -
8
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. ... -
9
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. ... -
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
10
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). -
11
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... -
12
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. -
13
AAChartKit
Modern declarative data visualization chart framework
AAChartKit is an elegant and friendly (user-friendly && enviroment-friendly) chart framework for iOS, based on the open source Highcharts JS libraries. AAChartKit is extremely powerful, easy to configure and a pleasure to use. Currently AAChartKit includes support for the following chart types: column chart, bar chart, area chart, area spline chart, line chart, spline chart, radar chart, polar chart, pie chart, bubble chart, pyramid chart, funnel chart, column range and area range chart. More chart types are planned to be supported. AAChartKit gives you easy and fast access to a wide range of chart types, hassle-free and quick to integrate into your own project. ... -
14
Bootstrap
HTML, CSS and JS framework for developing responsive websites and apps
...It's one of the most popular front-end frameworks and for good reason: it simply makes web development faster and easier. People of all skill levels can create projects of all sizes with Bootstrap, and for all types of devices too. With Bootstrap, you get a host of nifty features such as precompiled CSS, impressive scalability, dozens of custom HTML and CSS components and more. -
15
Git Large File Storage
Git extension for versioning large files
...Download and install the Git command line extension. Once downloaded and installed, set up Git LFS for your user account. In each Git repository where you want to use Git LFS, select the file types you'd like Git LFS to manage (or directly edit your .gitattributes). You can configure additional file extensions at any time. Host more in your Git repositories. External file storage makes it easy to keep your repository at a manageable size. Download less data. This means faster cloning and fetching from repositories that deal with large files. ... -
16
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. -
17
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. -
18
Telegraf
The plugin-driven server agent for collecting and reporting metrics
...Design goals are to have a minimal memory footprint with a plugin system so that developers in the community can easily add support for collecting metrics. Telegraf is plugin-driven and has the concept of 4 distinct plugin types. Input Plugins collect metrics from the system, services, or 3rd party APIs. Processor Plugins transform, decorate, and/or filter metrics. Aggregator Plugins create aggregate metrics (e.g. mean, min, max, quantiles, etc.). Output Plugins write metrics to various destinations. New plugins are designed to be easy to contribute, pull requests are welcomed and we work to incorporate as many pull requests as possible. ... -
19
dotnet sdk
Core functionality needed to create .NET Core projects
Core functionality needed to create .NET Core projects, that is shared between Visual Studio and CLI. There are no fees or licensing costs, including for commercial use. .NET is open-source and cross-platform, with free development tools for Windows, Linux, and macOS. .NET is supported by Microsoft. Microsoft ships official releases that are built and tested on Microsoft-maintained servers in Azure and supported just like any Microsoft product. .NET is open source and we are very thankful... -
20
HLSL++
Math library using HLSL syntax with multiplatform SIMD support
...The library is optimized for performance and supports SIMD instructions across multiple architectures, including SSE, AVX, AVX2, AVX512, and ARM NEON, ensuring high efficiency on modern hardware. It also extends beyond standard HLSL capabilities by introducing additional features such as quaternion support, advanced matrix operations, and extended vector types like float8. The library is particularly valuable for game developers who need consistency between CPU and GPU computations, reducing errors and improving maintainability. -
21
Anyhow
Flexible concrete Error type built on std::error::Error
...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. -
22
hithesis
LaTeX thesis template package for Harbin Institute of Technology
hithesis is a LaTeX thesis template tailored to the formatting requirements of Harbin Institute of Technology, covering undergraduate, master’s, and doctoral submissions. It provides class files and examples that handle title pages, abstracts in multiple languages, acknowledgments, lists of figures/tables, symbols, and properly styled chaptering. The template includes bibliography settings and citation styles that conform to school rules, along with ready-made environments for formulas,... -
23
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. -
24
PRDownloader
A file downloader library for Android with pause and resume support
...PRDownloader gives callbacks for everything like onProgress, onCancel, onStart, onError and etc while downloading a file. Supports proper request canceling. Many requests can be made in parallel. All types of customization are possible. -
25
Step CI
Automated API Testing and Quality Assurance
Step CI is an open-source API Quality Assurance framework. Language-agnostic. Configure easily using YAML, JSON or JavaScript. REST, GraphQL, gRPC, tRPC, SOAP. Test different API types in one workflow. Self-hosted. Test services on your network, locally or with CI/CD. Integrated. Play nicely with others.
