Search Results for "linux system" - Page 36
Sort By:
Showing 38934 open source projects for "linux system"
View related business solutions-
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
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.
-
1
Redpanda
Redpanda is a streaming data platform for developers
...We go beyond the Kafka protocol, into the future of streaming with inline WASM transforms and geo-replicated hierarchical storage. A new platform that scales with you from the smallest projects to petabytes of data distributed across the globe. We provide a very simple build system that uses your system libraries. We recommend users leverage our pre-built stable releases which are vetted, tested, and reproducible with exact versions of the entire transitive dependency graph, including exact compilers all built from source. The only thing we do not build yet is the Linux Kernel, but soon! -
2
Flame
A Flutter based game engine
Flame is a modular Flutter game engine that provides a complete set of out-of-the-way solutions for games. It takes advantage of the powerful infrastructure provided by Flutter but simplifies the code you need to build your projects. It provides you with a simple yet effective game loop implementation, and the necessary functionalities that you might need in a game. For instance; input, images, sprites, sprite sheets, animations, collision detection, and a component system that we call Flame... -
3
QAnything
Question and Answer based on Anything
QAnything is a local knowledge-base question-answering system designed to let users ask questions over many kinds of files and databases. It supports offline installation, making it useful for organizations that need private document analysis without sending data to external services. Users can upload local files and receive fast, reliable answers based on the indexed content. The system supports formats such as PDF, Word, PowerPoint, Excel, Markdown, email, text, images, CSV, and web links. ... -
4
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... -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to... -
6
objection
Objection - runtime mobile exploration
objection is a runtime mobile exploration toolkit, powered by Frida, built to help you assess the security posture of your mobile applications, without needing a jailbreak. Perform memory-related tasks, such as dumping & patching. Explore and manipulate objects on the heap. Installation is simply a matter of pip3 install objection. This will give you the objection command. You can update an existing objection installation with pip3 install --upgrade objection. A file system listing of the... -
7
F´
A flight software and embedded systems framework
...It has been used for but is not limited to, CubeSats, SmallSats, instruments, and deployable. Component architecture with well-defined interfaces. To develop applications with F´, the following requirements of the user’s system must be met, Linux or Mac OS X operating system (or Windows Subsystem for Linux on Windows), CMake, Bash or Bash compatible shell, Clang or GCC compiler, Python 3 and PIP. F´ can be quickly installed and ready to use by cloning the GitHub repository, installing Python code (typically in a virtual environment), and building one of our reference applications. -
8
LavinMQ
Ultra quick message queue and streaming server
LavinMQ is a high-performance message queue and streaming server built for efficient message delivery. It implements AMQP 0-9-1 and MQTT 3.1.1, making it useful for applications that need reliable messaging, IoT communication, event processing, and backend service coordination. The server is written in Crystal, which helps it keep memory usage low while supporting high throughput. It is designed to handle very long queues, many client connections, and production workloads with minimal... -
9
jetson-stats
Simple package for monitoring and control your NVIDIA Jetson
jetson_stats is a Python package for monitoring and controlling NVIDIA Jetson boards. It supports Jetson platforms such as Orin, Xavier, Nano, TX, and newer Jetson families. The project includes jtop, a terminal-based dashboard that gives users a live view of CPU, GPU, memory, power, temperature, engine usage, and system status. It can also be imported into Python scripts, which makes it useful for custom monitoring, robotics dashboards, automation, and diagnostics. Developers working with... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
Open Source Text to CAD Harness
An open source harness for generating CAD models
Open Source Text to CAD Harness is an open-source framework that enables the generation of parametric 3D CAD models using natural language prompts interpreted by AI coding agents. It acts as a harness that converts text descriptions into source-controlled CAD scripts, which are then compiled into geometric models using tools like OpenCascade and build123d. The system emphasizes reproducibility by storing CAD logic as editable code rather than opaque binary files, allowing iterative... -
11
darwin-skill
Autoresearch-inspired autonomous skill optimization for Claude Code
darwin-skill is an experimental framework designed to automatically improve AI agent “skills” through iterative evaluation and optimization loops inspired by machine learning training processes. Instead of treating prompts or skill definitions as static assets, the system applies a continuous improvement cycle that evaluates performance, proposes changes, tests outcomes, and either retains or reverts modifications. The framework introduces a scoring system across multiple dimensions,... -
12
CDviz
View software deployment's events & states
cdviz is a developer-focused visualization and analysis tool designed to help engineers understand, monitor, and optimize codebases by providing insights into structure, performance, and execution patterns. It likely focuses on transforming complex code relationships into visual representations that improve comprehension and debugging efficiency. The system may include static analysis capabilities, enabling it to detect inefficiencies, dependencies, or architectural issues within a project.... -
13
openv0
AI tool for generating modular UI components with live previews
openv0 is a generative UI component framework designed to help developers create interface elements using AI-assisted workflows. It enables users to generate, iterate, and refine UI components with a live preview system, making it easier to visualize results during development. openv0 is built around a modular architecture, allowing different parts of the generation process to be extended or replaced through plugins. A key aspect of openv0 is its multipass pipeline, where each stage of... -
14
VoidAuth
Single Sign-On for Your Self-Hosted Universe
VoidAuth is a self-hosted, open-source Single Sign-On (SSO) authentication provider that simplifies managing user access and identity for a suite of private applications. Built around standards like OpenID Connect (OIDC), it serves as a central authentication authority so that users can log in once and gain secure access to multiple services without duplicating credentials. The platform offers a user and group management interface where administrators can invite users, enable... -
15
Claude Code Safety Net
A Claude Code plugin that acts as a safety net
Claude Code Safety Net is a safety-oriented framework and example set designed to help developers integrate runtime checks, guardrails, and defensible constraints into agentic systems powered by Claude Code, with the goal of reducing unsafe outputs, erroneous actions, and harmful behaviors in production scenarios. The repository defines patterns and reusable components for validating agent decisions, sanitizing user inputs, and enforcing operational boundaries, making it easier to design... -
16
quiche
Savoury implementation of the QUIC transport protocol and HTTP/3
Cloudflare quiche is an open-source Rust implementation of the QUIC transport protocol and HTTP/3 designed to give developers a performant, flexible foundation for building modern networked applications and services, especially where low latency and efficient multiplexed streams matter. It is a “sans-io” library, meaning it implements the core QUIC and HTTP/3 state machines and logic without assuming how input/output should be done, so applications remain responsible for socket handling,... -
17
NERDTree
A tree explorer plugin for vim
NERDTree is a filesystem explorer for Vim that adds a persistent, navigable tree view to your editing environment. It lets you traverse directories, open files, and perform basic file operations without leaving the editor or reaching for a separate terminal. The plugin is engineered around efficient keyboard navigation, offering intuitive mappings to collapse, expand, and jump between nodes. It supports bookmarks and custom root changes, which is particularly useful when working in monorepos... -
18
StateOS
Free real-time operating system (RTOS) for microcontrollers
StateOS is a compact, open-source real-time operating system designed for embedded systems and written in ANSI C. It supports cooperative and preemptive multitasking, making it ideal for running multiple real-time tasks on microcontrollers. StateOS emphasizes clarity and ease of integration with existing projects and provides a full set of synchronization primitives, timers, and message-passing tools. It's widely used in industrial and academic settings for prototyping and low-level firmware... -
19
Peppermint
An open source issue management & help desk solution
Peppermint is an open-source issue management and help desk solution designed as an alternative to platforms like Zendesk and Jira, offering tools for managing internal and customer support requests. -
20
Opik
Debug, evaluate, and monitor your LLMapps, RAG systems, and agentic AI
Confidently evaluate, test, and monitor LLM applications. Opik is an open-source platform for evaluating, testing, and monitoring LLM applications. Built by Comet. Record, sort, search, and understand each step your LLM app takes to generate a response. Manually annotate, view, and compare LLM responses in a user-friendly table. Log traces during development and in production. Run experiments with different prompts and evaluate against a test set. Choose and run pre-configured evaluation... -
21
Vorta Backup Client
Desktop Backup Client for Borg Backup
Vorta is a backup client for macOS and Linux desktops. It integrates the mighty Borg Backup with your favorite desktop environment to protect your data from disk failure, ransomware and theft. -
22
Koordinator
A QoS-based scheduling system brings optimal layout and status to work
Koordinator is a modern scheduling system that colocates microservices, AI, and big data workloads on Kubernetes. It achieves high utilization by combining elastic resource quota, efficient pod-packing, over-commitment, and resource sharing with container resource isolation. Koordinator is high-performance, scalable, yet most importantly, proven in mass production environments. It allows you to build container orchestration systems that support enterprise production environments. Koordinator... -
23
Authelia
The Single Sign-On Multi-Factor portal for web apps
Authelia is an open-source authentication and authorization server and portal fulfilling the identity and access management (IAM) role of information security in providing multi-factor authentication and single sign-on (SSO) for your applications via a web portal. It acts as a companion for common reverse proxies. With a compressed container size smaller than 20 megabytes and observed memory usage normally under 30 megabytes, it's one of the most lightweight solutions available. Written in... -
24
OpenObserve
Elasticsearch/Splunk/Datadog alternative for (logs, metrics, traces)
OpenObserve is a cloud-native observability platform built specifically for logs, metrics, traces, and analytics designed to work at a petabyte scale. It is very simple and easy to operate as opposed to Elasticsearch which requires a couple of dozen knobs to understand and tune which you can get up and running in under 2 minutes. It is a drop-in replacement for Elasticsearch if you are just ingesting data using APIs and searching using Kibana (Kibana is not supported nor required with... -
25
LoggingInterceptor
An OkHttp interceptor which has pretty logger for request and response
An OkHttp interceptor which has a pretty logger for request and response. +Mock support.
