Showing 38934 open source projects for "linux system"

View related business solutions
  • Atera - an All-in-one platform for IT management Icon
    Atera - an All-in-one platform for IT management

    Ideal for IT departments and MSPs (managed service providers)

    Your IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
    Try Atera now
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1
    Redpanda

    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!
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    Flame

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    QAnything

    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. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    Digital-Logic-Sim

    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...
    Downloads: 15 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start 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.
    Claim $300 Free
  • 5
    Lean 4

    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...
    Downloads: 15 This Week
    Last Update:
    See Project
  • 6
    objection

    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...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    LavinMQ

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    jetson-stats

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain 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.
    Get a free trial
  • 10
    Open Source Text to CAD Harness

    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...
    Downloads: 17 This Week
    Last Update:
    See Project
  • 11
    darwin-skill

    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,...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    CDviz

    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....
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    openv0

    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...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 14
    VoidAuth

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Claude Code Safety Net

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    quiche

    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,...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    NERDTree

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    StateOS

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Peppermint

    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.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 20
    Opik

    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...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 21
    Vorta Backup Client

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Koordinator

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    Authelia

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    OpenObserve

    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...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 25
    LoggingInterceptor

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo