6344 projects for "system linux" with 2 filters applied:

  • $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
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 1
    Apache Log4j

    Apache Log4j

    Apache Log4j 2 is a versatile, feature-rich, efficient logging API

    Apache Log4j is a versatile, industrial-grade Java logging framework composed of an API, its implementation, and components to assist the deployment for various use cases. Log4j is used by 8% of the Maven ecosystem and listed as one of the top 100 critical open source software projects. The project is actively maintained by a team of several volunteers and supported by a big community.
    Downloads: 22 This Week
    Last Update:
    See Project
  • 2
    Cowart

    Cowart

    Local infinite canvas plugin for Codex

    Cowart is a local infinite-canvas plugin designed specifically for Codex-powered creative workflows. Built on top of tldraw, it provides a visual workspace where users can brainstorm ideas, annotate images, generate new artwork, and iterate on existing visuals through AI-assisted editing. The canvas runs as a local web service and stores project data directly inside the user's workspace rather than in the plugin repository, making it suitable for project-centric workflows. Cowart enables...
    Downloads: 29 This Week
    Last Update:
    See Project
  • 3
    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: 25 This Week
    Last Update:
    See Project
  • 4
    Tamagui

    Tamagui

    Style React fast with 100% parity on React Native

    Tamagui is a cross-platform UI framework and styling system for React and React Native that enables developers to build high-performance applications with a single codebase shared across web and mobile platforms. It combines a universal style system with a powerful optimizing compiler that transforms styled components into efficient, platform-specific output, significantly improving runtime performance. The framework provides a superset of the React Native styling API, allowing developers to...
    Downloads: 2 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 5
    Featureless Linux Library

    Featureless Linux Library

    Linux Library on top of Libc focusing on long term support.

    When computer power increases, programmers generally add more "features", thus making any performance gains in new hardware negligible. This project is an attempt to develop a library above libc that breaks out of this terrible loop.
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 6
    Flight Core

    Flight Core

    An extensible micro-framework for PHP

    FlightPHP is a lightweight, fast, and flexible micro-framework for PHP, designed to build RESTful web applications and APIs. It provides a simple routing system, middleware support, and a powerful templating engine. FlightPHP is ideal for developers looking for a minimalist framework that doesn't impose a lot of structure, while still offering essential features for building modern web applications.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The Book of Secret Knowledge

    The Book of Secret Knowledge

    A collection of inspiring lists, manuals, cheatsheets, blogs, hacks

    ...Its content spans areas such as Linux, networking, DevOps, security, databases, web infrastructure, shell usage, and productivity. The collection is useful for both quick lookup and broader exploration of technical topics. Its main value is centralizing many scattered resources into a single, community-maintained reference.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 9
    Adafruit Unified Sensor Driver

    Adafruit Unified Sensor Driver

    Common sensor library

    Many small embedded systems exist to collect data from sensors, analyze the data, and either take appropriate action or send that sensor data to another system for processing. One of the many challenges of embedded systems design is the fact that parts you used today may be out of production tomorrow, or system requirements may change and you may need to choose a different sensor down the road. Creating new drivers is a relatively easy task, but integrating them into existing systems is both...
    Downloads: 6 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 10
    libuv

    libuv

    Cross-platform asynchronous I/O

    libuv is a high-performance, multi-platform C library focusing on asynchronous I/O, originally developed for Node.js. It provides a consistent event-loop and I/O abstraction layer across a range of systems, making non-blocking operations portable and efficient. Full-featured event loop backed by epoll, kqueue, IOCP, event ports. Asynchronous TCP and UDP sockets. Asynchronous DNS resolution. Asynchronous file and file system operations. File system events, ANSI escape code-controlled TTY. IPC...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    ImGui Java

    ImGui Java

    JNI based binding for Dear ImGui

    imgui-java is a comprehensive Java binding for Dear ImGui, the popular immediate-mode GUI library used for real-time tools and debug interfaces. This binding allows Java applications—including those using LWJGL or JOGL—to leverage ImGui’s fast and flexible GUI features without switching languages. With support for native backends and OpenGL rendering, imgui-java is perfect for game engines, development tools, and editors that need an intuitive GUI system. It includes integrations for...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 12
    Vico

    Vico

    A light and extensible chart library for Android

    Vico is a light and extensible chart library for Android. It’s compatible with both Jetpack Compose and the view system, but its two main modules—compose and views—are independent.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    InkOS

    InkOS

    Autonomous novel writing CLI AI Agent

    InkOS is a multi-agent creative writing system designed to automate the production of long-form narrative content such as novels through coordinated AI workflows. The system organizes multiple specialized agents that collaborate in stages, including drafting, reviewing, editing, and refining text, with optional human checkpoints to ensure quality and coherence. Its architecture reflects a pipeline approach where each agent contributes a specific function, allowing iterative improvement...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 14
    OpenZeppelin Contracts

    OpenZeppelin Contracts

    OpenZeppelin Contracts is a library for secure smart contracts

    A library for secure smart contract development. Build on a solid foundation of community-vetted code. OpenZeppelin Contracts uses semantic versioning to communicate backward compatibility of its API and storage layout. To keep your system secure, you should always use the installed code as-is, and neither copy-paste it from online sources nor modify it yourself. The library is designed so that only the contracts and functions you use are deployed, so you don't need to worry about it...
    Downloads: 14 This Week
    Last Update:
    See Project
  • 15
    Laravel Follow

    Laravel Follow

    Add user based follow system to your model

    This package helps you to add user user-based follow system to your model.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Log Viewer

    Log Viewer

    Fast and beautiful Log Viewer for Laravel

    Beautiful, fast, and open-source viewer for your app logs. Forget scrolling through raw log files to find the errors or debug logs you're looking for. Forget about SSH'ing onto the production server just to read the logs. Log Viewer helps you quickly and clearly see individual log entries, to search, filter, and make sense of your Laravel logs fast. It is free and easy to install.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    ty

    ty

    An extremely fast Python type checker and language server

    ty is an extremely fast Python type checker and language server built in Rust, designed to provide highly responsive and accurate static analysis for modern Python development workflows. It is positioned as a next-generation alternative to tools such as mypy and Pyright, offering significantly faster performance through incremental analysis and optimized execution. The tool is designed from the ground up to power editor integrations, enabling real-time feedback as developers write code with...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 18
    openHAB Distribution

    openHAB Distribution

    The binary distribution of openHAB

    The open Home Automation Bus (openHAB) project aims to provide a universal integration platform for all things around home automation. It is a pure Java solution, fully based on OSGi. It is designed to be vendor-neutral as well as hardware/protocol-agnostic. openHAB brings together different bus systems, hardware devices, and interface protocols by dedicated bindings. These bindings send and receive commands and status updates on the openHAB event bus. This concept allows designing user...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Make It heavy

    Make It heavy

    A Python framework that emulates Grok Heavy functionality

    Make It heavy is a Python framework for producing deeper AI analysis through multi-agent orchestration. It is designed to emulate the style of Grok Heavy by splitting a user query into several specialized research angles. The system runs four agents in parallel so each one can explore the problem from a different perspective. It then combines their outputs into one unified answer through an intelligent synthesis step. The framework uses OpenRouter for model access and can also run in...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 20
    ComfyUI SUPIR

    ComfyUI SUPIR

    SUPIR upscaling wrapper for ComfyUI

    The ComfyUI-SUPIR project is a ComfyUI integration of the SUPIR model, which is designed for high-quality image restoration and super-resolution. It enables users to enhance low-resolution or degraded images using advanced diffusion-based techniques. The integration provides nodes that allow users to control parameters such as noise levels, guidance strength, and output quality. It is particularly useful for workflows that require upscaling or restoring images before further processing. The...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 21
    BCC (BPF Compiler Collection)

    BCC (BPF Compiler Collection)

    Tools for BPF-based Linux IO analysis, networking, monitoring, etc.

    BCC is a toolkit that simplifies creating efficient kernel tracing, monitoring, and manipulation programs by leveraging extended Berkeley Packet Filters (eBPF). It includes a rich set of example tools and scripting interfaces in C, Python, and Lua. BCC makes BPF programs easier to write, with kernel instrumentation in C (and includes a C wrapper around LLVM), and front-ends in Python and lua. It is suited for many tasks, including performance analysis and network traffic control. With a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    agentOS

    agentOS

    A portable open-source operating system for agents. ~6 ms coldstarts

    agentOS is a portable, open-source runtime environment designed specifically for executing AI agents efficiently, acting as a lightweight operating system tailored for agent-based workloads. It is built using WebAssembly and V8 isolates to provide secure, sandboxed execution without the overhead of traditional containers or virtual machines. The system is optimized for extremely fast startup times, with near-instant cold starts that allow agents to be created and executed in milliseconds....
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    redshirt

    redshirt

    Operating system

    Redshirt is an experimental operating system written in Rust that explores new approaches to OS design by emphasizing asynchronous execution, message passing, and modularity. It is built around a microkernel-inspired architecture where components communicate through well-defined interfaces rather than relying on shared state. The system is designed to run on top of WebAssembly, using it as a portable and sandboxed execution layer for processes and services. Redshirt aims to rethink...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    io-ts

    io-ts

    Runtime type system for IO decoding/encoding

    Runtime type system for IO decoding/encoding
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Plaso

    Plaso

    Super timeline all the things

    Plaso (Plaso Langar Að Safna Öllu), or "super timeline all the things," is a Python-based engine designed for automatic creation of timelines in digital forensic investigations. It processes various log files and artifacts to generate a chronological sequence of events, aiding analysts in understanding system activities.​
    Downloads: 5 This Week
    Last Update:
    See Project