Search Results for "linux operating system" - Page 2
Sort By:
Showing 4282 open source projects for "linux operating system"
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.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
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... -
2
WS2812FX
WS2812 FX library for Arduino and ESP8266
This library features a variety of blinken effects for the WS2811/WS2812/NeoPixel LEDs. It is meant to be a drop-in replacement for the Adafruit NeoPixel library with additional features. You can search for WS2812FX in the Arduino IDE Library Manager or install the latest (or development) version manually. More complex effects can be created by dividing your string of LEDs into segments (up to ten) and programming each segment independently. Use the segment() function to program each... -
3
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
4
Brim
Application to efficiently search and analyze super-structured data
Desktop application to efficiently search and analyze super-structured data. Powered by Zed. Zed is a system that makes data easier by utilizing our new super-structured data model. Brim is a desktop app to explore, query, and shape the data in your super-structured data lake. Brim is an open source desktop application for security and network specialists. Brim makes it easy to search and analyze data from packet captures, like those created by Wireshark, and structured logs, especially from... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
PetoronHash-System
PHASH | post-quantum XOF hashing algorithm | C++20
PHASH is a self-contained, dependency-free, post-quantum XOF hashing algorithm implemented in modern C++20. This release delivers the first fully stable production implementation of the PetoronHash-System — a 1600-bit sponge-based hash function with domain separation, extendable output, and deterministic behavior. Key Features No external dependencies — pure C++20 implementation. Extendable Output (XOF) — supports arbitrary output length (256–8192+ bits). Post-quantum oriented design... -
6
PyTorch Geometric
Geometric deep learning extension library for PyTorch
It consists of various methods for deep learning on graphs and other irregular structures, also known as geometric deep learning, from a variety of published papers. In addition, it consists of an easy-to-use mini-batch loader for many small and single giant graphs, a large number of common benchmark datasets (based on simple interfaces to create your own), and helpful transforms, both for learning on arbitrary graphs as well as on 3D meshes or point clouds. We have outsourced a lot of... -
7
linuxptp
PTP IEEE 1588 stack for Linux
This project is an implementation of the Precision Time Protocol (PTP) according to IEEE standard 1588 for Linux. -
8
Digital-Logic-Sim
A minimalistic digital logic simulator
Digital-Logic-Sim is an interactive simulation tool designed to help users understand digital logic circuits through a visual and hands-on environment. It allows users to build circuits using basic logic gates such as AND, OR, and NOT, and observe how signals propagate through the system in real time. The project emphasizes education, making it easier for beginners to grasp concepts like binary logic, combinational circuits, and signal flow. It provides a visual interface where components... -
9
Open Source Routing Machine
Open Source Routing Machine - C++ backend
High-performance routing engine written in C++14 designed to run on OpenStreetMap data. There are several services available via HTTP API, C++ library interface and NodeJs wrapper. Nearest, snaps coordinates to the street network and returns the nearest matches. Route finds the fastest route between coordinates. Table computes the duration or distances of the fastest route between all pairs of supplied coordinates. Match snaps noisy GPS traces to the road network in the most plausible way.... -
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.
-
10
Sming
Open source framework simplifying the creation of C++ applications
Sming is an asynchronous embedded C/C++ framework with superb performance and multiple network features. Sming is open source, modular and supports multiple architectures including ESP8266 and ESP32. Superb performance and memory usage (Sming compiles to native firmware!) Fast and user-friendly development. Integrated host emulator to assist with developing, testing, and debugging libraries and applications on a PC before uploading them to an actual microcontroller. Built-in powerful... -
11
ITensors.jl
A Julia library for efficient tensor computations and tensor network
ITensors.jl is a high-performance Julia library for tensor network calculations, primarily used in quantum physics and computational science. It enables efficient manipulation of large, structured tensors with named indices and provides an intuitive interface for implementing algorithms like DMRG (Density Matrix Renormalization Group), TEBD (Time-Evolving Block Decimation), and more. ITensors.jl leverages Julia’s multiple dispatch and performance features to simplify the development of... -
12
Elasticsearch Node.js client
Elasticsearch client library for Node.js
Node.js client for Elasticsearch. The client versioning follows the Elastic Stack versioning, this means that major, minor, and patch releases are done following a precise schedule that often does not coincide with the Node.js release times. Language clients are forward compatible; meaning that clients support communicating with greater or equal minor versions of Elasticsearch. Elasticsearch language clients are only backwards compatible with default distributions and without guarantees... -
13
gnuplot
A portable, multi-platform, command-line driven graphing utility
A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples. -
14
ControlSystems.jl
A Control Systems Toolbox for Julia
ControlSystems.jl is a Julia toolbox for control systems design and analysis, offering models in transfer-function and state-space representations, enabling construction of complex systems, simulation in time and frequency domains, and performance/stability evaluation. This toolbox works similar to that of other major computer-aided control systems design (CACSD) toolboxes. Systems can be created in either a transfer function or a state space representation. These systems can then be... -
15
JuMP
Modeling language for Mathematical Optimization
JuMP is a modeling language and collection of supporting packages for mathematical optimization in Julia. JuMP makes it easy to formulate and solve a range of problem classes, including linear programs, integer programs, conic programs, semidefinite programs, and constrained nonlinear programs. JuMP is used to solve large-scale inventory routing problems at Renault, schedule trains at Thales Inc., plan power grid expansion at PSR, and route school buses. -
16
HomeRobot
Mobile manipulation research tools for roboticists
HomeRobot is an open source robotics framework developed by Facebook Research (Meta AI) that provides a complete software stack for mobile manipulation in real-world and simulated environments. Designed for low-cost robots such as the Hello Robot Stretch, HomeRobot enables agents to perceive, navigate, and interact with their surroundings through vision and manipulation. The system focuses on Open Vocabulary Mobile Manipulation (OVMM) — a challenging task in which a robot must explore an... -
17
Traccar
Traccar GPS Tracking System
The Traccar software offers exceptional performance and stability, whether it is installed on Windows, Linux, or any other platform. The server can be hosted on-premise or in the cloud, and we provide various hosted options with professional support. Traccar stands out among GPS tracking systems on the market by supporting a vast array of protocols and device models. Whether you prefer low-cost, no-name GPS trackers or high-end, quality brands, Traccar enables you to choose from a wide... -
18
Statistics
Detects usage of unsafe Rust in a Rust crate and its dependencies
A tool that lists statistics related to the usage of unsafe Rust code in a Rust crate and all its dependencies. -
19
ThingPulse ESP8266 Weather Station
ESP8266 Weather Station library supporting OpenWeatherMap
This code works best with the NodeMCU V2 ESP8266 module and an 0.96" OLED display. To get you up and running in no time we created a kit that contains all the necessary parts. By buying this and other kits from us you are funding the maintenance and development of this library. Make sure you use a version of the Arduino IDE which is supported by the ESP8266 platform. If you are using the PlatformIO environment for building, choose one of the available IDE integration or the Atom-based IDE,... -
20
The Pure Data (short Pd) project on SourceForge unifies the extensions (or externals) written for the Pure Data Graphical Computer Music System written by Miller Puckette with contributions from many others.
-
21
JeeSite
A basic enterprise information development platform
JeeSite is a high-efficiency, high-performance, and strong security open source Java EE rapid development platform based on a number of excellent open source projects, highly integrated and packaged. JeeSite is the best basic platform solution for you to quickly complete your project. JeeSite is the best study case for you to learn the Java platform. JeeSite is also the best assistant for private work. JeeSite is a Java-based development platform built on the Spring Framework, with Spring... -
22
NVIDIA Isaac GR00T
NVIDIA Isaac GR00T N1.5 is the world's first open foundation model
NVIDIA Isaac‑GR00T N1.5 is an open-source foundation model engineered for generalized humanoid robot reasoning and manipulation skills. It accepts multimodal inputs—such as language and images—and uses a diffusion transformer architecture built upon vision-language encoders, enabling adaptive robot behaviors across diverse environments. It is designed to be customizable via post-training with real or synthetic data. The vision-language model remains frozen during both pretraining and... -
23
JAX
Composable transformations of Python+NumPy programs
With its updated version of Autograd, JAX can automatically differentiate native Python and NumPy functions. It can differentiate through loops, branches, recursion, and closures, and it can take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation) via grad as well as forward-mode differentiation, and the two can be composed arbitrarily to any order. What’s new is that JAX uses XLA to compile and run your NumPy programs on GPUs and... -
24
Laravel Translation Manager
Manage Laravel translation files
Laravel Translation Manager is a package that adds a web-based UI and database-backed workflow for managing Laravel translation files. Instead of replacing Laravel’s built-in translation system, it imports your lang PHP/JSON files into a database so you can view, search, and edit keys and values from a browser. Once translations are updated, you can export them back to flat files so your app continues to use the standard Laravel translation loader. This workflow is especially helpful when... -
25
This project delivers Linux support (USB driver and Tools) for a Digital Signal Processor (DSP) cards of the Signal Ranger series, see http://www.softdb.com/product_dsp.shtml for details) connected to a Linux host via USB.
