Search Results for "gnu/linux" - Page 7
Sort By:
Showing 17428 open source projects for "gnu/linux"
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.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
Tile38
Ultra Fast Geospatial Database & Geofencing Server
...Tile38 is made up of 3 main components: the server, command line interface tool and server benchmark tool. It is completely free and open source and is available for OSX, Linux, FreeBSD, and Windows. -
2
Dagger.jl
A framework for out-of-core and parallel execution
Dagger.jl is a framework for out-of-core and parallel computing in Julia that allows users to construct and execute dynamic task graphs. It is designed for large-scale, distributed, and memory-efficient computations. Dagger supports lazy evaluation and scheduling across multiple threads or machines, enabling high-performance workflows for data processing, scientific computing, and machine learning. -
3
robosuite
A Modular Simulation Framework and Benchmark for Robot Learning
Robosuite is a modular and extensible simulation framework for robotic manipulation tasks, built on top of MuJoCo. Developed by the ARISE Initiative, Robosuite offers a set of standardized benchmarks and customizable environments designed to advance research in robotic manipulation, control, and imitation learning. It emphasizes realistic simulations and ease of use for both single-task and multi-task learning. -
4
QPanda 2
QPanda 2 is an open source quantum computing framework
QPanda2 is an open source quantum computing framework developed by Origin Quantum, which can be used to build, run and optimize quantum algorithms. QPanda2 is the basic library of a series of software developed by Origin Quantum, which provides core components for QRunes, Qurator and quantum computing services. -
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
Integrals.jl
A common interface for quadrature and numerical integration
Integrals.jl is an instantiation of the SciML common IntegralProblem interface for the common numerical integration packages of Julia, including both those based upon quadrature as well as Monte-Carlo approaches. By using Integrals.jl, you get a single predictable interface where many of the arguments are standardized throughout the various integrator libraries. This can be useful for benchmarking or for library implementations since libraries that internally use a quadrature can easily... -
6
Geocode addresses to coordinates
Geocode addresses to coordinates
This package can convert any address to GPS coordinates using Google's geocoding service. Though the package works fine in non-Laravel projects we included some niceties for our fellow artisans. In Laravel 5.5 the package will autoregister itself. In older versions of Laravel you must manually install the service provider and facade. -
7
GIT quick statistics
An efficient way to access various statistics in git repository
git-quick-stats is a simple and efficient way to access various statistics in a git repository. Any git repository may contain tons of information about commits, contributors, and files. Extracting this information is not always trivial, mostly because there are a gadzillion options to a gadzillion git commands. For those who prefer to utilize command-line options, git-quick-stats also has a non-interactive mode supporting both short and long options. You can change to the legacy color... -
8
Gonum
Set of numeric libraries for the Go programming language
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more. Gonum is a set of packages designed to make writing numerical and scientific algorithms productive, performant, and scalable. Gonum contains libraries for matrices and linear algebra; statistics, probability distributions, and sampling; tools for function differentiation, integration, and optimization; network creation and analysis; and more. We... -
9
broom
Convert statistical analysis objects from R into tidy format
broom is part of the tidymodels ecosystem that converts statistical model outputs (e.g. from lm, glm, t.test, lme4, etc.) into tidy tibbles — standardized data frames — using functions tidy(), glance(), and augment(). These are easier to manipulate, visualize, and report programmatically. -
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
WaterLily.jl
Fast and simple fluid simulator in Julia
WaterLily.jl is a fluid dynamics simulation package in Julia that uses lattice Boltzmann methods (LBM) to simulate incompressible flows and fluid-structure interactions in two dimensions. It is designed for easy use and rapid prototyping of physical systems involving particles, obstacles, and hydrodynamic forces. The package is well-suited for educational purposes, computational physics research, and lightweight fluid simulations. -
11
wttr.in
The right way to check the weather
wttr.in is a console-oriented weather forecast service that supports various information representation methods like terminal-oriented ANSI-sequences for console HTTP clients (curl, httpie, or wget), HTML for web browsers, or PNG for graphical viewers. Originally started as a small project, a wrapper for wego, intended to demonstrate the power of the console-oriented services, wttr.in became a popular weather reporting service, handling tens of millions of queries daily. -
12
Superstaq
Quantum software platform that is optimized across the quantum stack
This repository is the home of the Superstaq development team's open-source work. Our quantum software platform is optimized across the quantum stack and enables users to write quantum programs in Cirq or Qiskit and target a variety of quantum computers and simulators. -
13
Brax
Massively parallel rigidbody physics simulation
Brax is a fast and fully differentiable physics engine for large-scale rigid body simulations, built on JAX. It is designed for research in reinforcement learning and robotics, enabling efficient simulations and gradient-based optimization. -
14
Q-CTRL Open Controls
Q-CTRL Open Controls
Q-CTRL Open Controls is an open-source Python package that makes it easy to create and deploy established error-robust quantum control protocols from the open literature. The aim of the package is to be the most comprehensive library of published and tested quantum control techniques developed by the community, with easy-to-use export functions allowing users to deploy these controls on. -
15
Azure Quantum Development Kit
Azure Quantum Development Kit
Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas. The playground is a small website that loads the Q# editor, compiler, samples, katas, and documentation for the standard library. It's a way to manually validate any changes you make to these components. The easiest way to develop in this repo is to use VS Code. When you open the project root, by default VS Code will recommend you install the extensions listed in... -
16
LazySets.jl
Scalable Symbolic-Numeric Set Computations
LazySets.jl is a Julia package for calculus with convex sets. The aim is to provide a scalable library for solving complex set-based problems, such as those encountered in differential inclusions or reachability analysis techniques in the domain of formal verification. Typically, one is confronted with a set-based recurrence with a given initial set and/or input sets, and for visualization purposes, the final result has to be obtained through an adequate projection onto low dimensions. This... -
17
Physical Symbolic Optimization (Φ-SO)
Physical Symbolic Optimization
Physical Symbolic Optimization (Φ-SO) - A symbolic optimization package built for physics. Symbolic regression module uses deep reinforcement learning to infer analytical physical laws that fit data points, searching in the space of functional forms. -
18
parca
Continuous profiling for analysis of CPU and memory usage
Continuous profiling for analysis of CPU, memory usage over time, and down-to-the-line number. Saving infrastructure costs, improving performance, and increasing reliability. A single profiler, using eBPF, automatically discovers targets from Kubernetes or systemd across the entire infrastructure with very low overhead. Supports C, C++, Rust, Go, and more. Both producing pprof formatted profiles with the eBPF-based profiler and ingesting any pprof formatted profiles allowing for wide... -
19
Yao
Extensible, Efficient Quantum Algorithm Design for Humans
An intermediate representation to construct and manipulate your quantum circuit and let you make own abstractions on the quantum circuit in native Julia. Yao supports both forward-mode (faithful gradient) and reverse-mode automatic differentiation with its builtin engine optimized specifically for quantum circuits. Top performance for quantum circuit simulations. Its CUDA backend and batched quantum register support can make typical quantum circuits even faster. Yao is designed to be... -
20
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive... -
21
JSON to Go
Translates JSON into a Go type in your browser instantly (original)
JSON to Go is a browser-based developer tool that converts JSON samples into Go struct definitions. It is designed to save Go developers time when working with APIs, configuration files, or external JSON payloads. Users paste JSON into the tool, and it generates a matching Go type that can be copied into a project. The tool makes reasonable assumptions about field names, types, nested objects, arrays, and struct tags, but it still expects users to review the output before using it in... -
22
OpenFreeMap
Free and open-source map hosting solution with custom styles
OpenFreeMap is a free and open-source map hosting platform that allows developers to display customizable maps in websites and applications without relying on commercial providers. It uses OpenStreetMap data and modern vector tile technologies to deliver high-quality maps with flexible styling options. The platform can be self-hosted or accessed through a public instance, offering full control or convenience depending on user needs. It removes common barriers such as API keys, usage limits,... -
23
LabClaw
Operating Layer for LabOS (Stanford-Princeton AI Co-Scientists)
LabClaw is an open-source AI experimentation and agent orchestration platform designed to help developers build, test, and iterate on complex autonomous workflows in a controlled and modular environment. It provides a framework for composing multiple tools, prompts, and execution steps into structured pipelines that can be reused and evaluated across different scenarios. The system emphasizes experimentation, allowing users to run multiple variations of agent workflows, compare outputs, and... -
24
CUDA-Q
C++ and Python support for the CUDA Quantum programming model
CUDA-Q is an open-source platform for developing hybrid quantum-classical applications using a unified programming model across CPUs, GPUs, and quantum processing units. It provides a full toolchain that includes compilers, runtimes, and libraries for writing quantum programs in both C++ and Python. The platform is designed to be hardware-agnostic, allowing developers to run applications on different quantum backends or simulate them efficiently using GPU acceleration when physical quantum... -
25
Orca Core
Core Python Controller of the ORCA Hand
Orca Core is the central Python control framework for the ORCA Hand, an open-source dexterous robotic hand designed to replicate human-like manipulation capabilities. It provides a high-level abstraction layer over the underlying hardware, allowing developers to interact with the robotic system through simplified joint-space commands rather than low-level motor instructions. The software includes a suite of scripts for calibration, tensioning, and positioning, ensuring that the physical hand...
