Search Results for "linux system" - Page 34
Sort By:
Showing 38934 open source projects for "linux system"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus 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.
-
1
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... -
2
Micrometer
App observability facade for the most popular observability tools
Micrometer provides a simple facade over the instrumentation clients for the most popular observability systems, allowing you to instrument your JVM-based application code without vendor lock-in. Think SLF4J, but for observability. Micrometer provides vendor-neutral interfaces for timers, gauges, counters, distribution summaries, and long task timers with a dimensional data model that, when paired with a dimensional monitoring system, allows for efficient access to a particular named metric... -
3
smart rtmpd
Multi-system-supported and easy-to-maintain streaming media server
smart_rtmpd is a high-performance streaming media server designed for live and recorded video delivery across multiple protocols and platforms. It supports both push and pull streaming, enabling flexible workflows for ingesting and distributing media. The server is designed to be lightweight and easy to deploy, requiring minimal configuration and no external dependencies. It supports a wide range of protocols including RTMP, HLS, DASH, RTSP, and WebRTC, making it suitable for diverse... -
4
Headscale
An open source, self-hosted implementation of the Tailscale control
Headscale is a fully open-source, self-hosted implementation of the Tailscale coordination server (control plane). It uses WireGuard for P2P encrypted networks (tailnets), providing users with IP assignment, key exchange, and device management—all via a lightweight Go server. -
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.
-
5
Model Context Protocol (MCP) Servers
Model Context Protocol Servers
The Model Context Protocol (MCP) is an open protocol that enables seamless integration between LLM applications and external data sources and tools. Whether you’re building an AI-powered IDE, enhancing a chat interface, or creating custom AI workflows, MCP provides a standardized way to connect LLMs with the context they need. -
6
V2Fly
A platform for building proxies to bypass network restrictions
V2Fly Project V is a set of network tools that helps you to build your own computer network. It secures your network connections and thus protects your privacy. Help you build an exclusive basic communication network. A V2Ray process can concurrently support multiple inbound and outbound protocols, and each protocol can work independently. Inbound traffic can be sent from different outlets according to the configuration. Easily implement distribution by region or domain name to achieve... -
7
IRremoteESP8266
Infrared remote library for ESP8266/ESP32
Infrared remote library for ESP8266/ESP32. Send and receive infrared signals with multiple protocols. This library enables you to send and receive infra-red signals on an ESP8266 or an ESP32 using the Arduino framework using common 940nm IR LEDs and common IR receiver modules. e.g. TSOP{17,22,24,36,38,44,48} demodulators etc. Usage of the library has been slightly changed in v2.0. You will need to change your usage to work with v2.0 and beyond. You can read more about the changes required on... -
8
AnySearch Skill
Unified real-time search engine skill for AI agents
AnySearch Skill is a real-time search engine skill for AI agents. It gives agents a structured way to search the web, run vertical searches, perform parallel batch searches, and extract full-page content. The project is packaged as a skill rather than a standalone search application, so it is meant to be installed into compatible AI-agent environments. It supports multiple domain-specific search categories, making it useful when general web search is too broad. The skill can also fetch page... -
9
GPU Hot
Real-time NVIDIA GPU dashboard
GPU Hot is an open-source, lightweight monitoring dashboard designed to provide real-time visibility into NVIDIA GPU performance across single machines or entire clusters. The project offers a self-hosted web interface that streams hardware metrics directly from GPU servers, enabling developers, ML engineers, and system administrators to observe GPU utilization and system behavior in real time through a browser. The dashboard collects and displays a wide range of performance metrics... -
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.
-
10
Trash
Move files and directories to the trash
Trash is a Node.js library that moves files and directories to the system's trash or recycle bin instead of permanently deleting them. -
11
OpenPrinting CUPS
OpenPrinting CUPS Sources
OpenPrinting CUPS is the most current version of CUPS, a standards-based, open-source printing system for Linux® and other Unix®-like operating systems. CUPS supports printing to AirPrint™ and IPP Everywhere™ printers. -
12
Winter
Free, open-source, self-hosted CMS platform based on the Laravel PHP
Rapidly develop and deploy beautiful and feature-rich websites and apps with a content management system relied upon by developers and agencies around the world. Smart system design with a focus on simplicity and performance ensures that your projects perform well under pressure. Winter CMS is a free, open-source content management system, built on top of the Laravel PHP framework. Managed by a team of specialist and agency-based developers, Winter is relied upon by agencies and freelancers... -
13
SCOUTER
Scouter is open source APM (Application Performance Management) tool
SCOUTER is an open-source APM like New Relic and appdynamics. (APM means application performance monitoring or application performance management.) -
14
PufferPanel
PufferPanel is an open source game server management panel
The simplest, free, open source game management panel. PufferPanel is an open source game server management panel designed to be easy to use and easy to install. PufferPanel supports Minecraft, Forge, Spigot, Sponge, Source Dedicated Servers, BungeeCord, PocketMine, Forge, and much more. In addition to being a free and open source project, PufferPanel provides an easy-to-use interface for everyone from individual users to large networks or companies. We strive to create a friendly community,... -
15
Haraka
A fast, highly extensible, and event driven SMTP server
Haraka is a highly scalable node.js email server with a modular plugin architecture. Haraka can serve thousands of concurrent connections and deliver thousands of messages per second. Haraka and plugins are written in asynchronous JS and are very fast. Haraka has very good spam protection (see plugins) and works well as a filtering MTA. It also works well as a MSA running on port 587 with auth and dkim_sign plugins enabled. Haraka makes no attempt to be a mail store (like Exchange or... -
16
Spring Boot Admin
Admin UI for administration of spring boot applications
This community project provides an admin interface for Spring Boot applications. The applications register with our Spring Boot Admin Client (via HTTP) or are discovered using Spring Cloud (e.g. Eureka, Consul). The UI is just a Vue.js application on top of the Spring Boot Actuator endpoints. Support for Python applications is available using Pyctuator. First, you need to setup your server. To do this just setup a simple boot project (using start.spring.io). As Spring Boot Admin Server is... -
17
Komari
A simple server monitor tool
Komari is a lightweight, self-hosted server monitoring solution designed to deliver simple and efficient infrastructure visibility with minimal resource overhead. The platform uses a lightweight agent to collect performance data from monitored nodes and presents the results through a clean web interface. Its architecture emphasizes ease of deployment and full data ownership, making it attractive for users who prefer private monitoring environments over managed services. Komari is designed to... -
18
Warzone 2100
Free and open source real-time strategy game
...Play versus AI bots in local skirmishes (or as added teammates/enemies in multiplayer), and practice your skills with endless replayability. Over 400 different technologies yield an extensive tech tree with many paths to choose from. Customize your units with a flexible design system that allows for a wide variety of possible units and tactics. Supporting Windows, macOS, Linux, FreeBSD and more - all with cross-platform multiplayer support! -
19
CloudFoundry UAA
CloudFoundry User Account and Authentication (UAA) Server
The UAA is a multi tenant identity management service, used in Cloud Foundry, but also available as a stand alone OAuth2 server. Its primary role is as an OAuth2 provider, issuing tokens for client applications to use when they act on behalf of Cloud Foundry users. It can also authenticate users with their Cloud Foundry credentials, and can act as an SSO service using those credentials (or others). It has endpoints for managing user accounts and for registering OAuth2 clients, as well as... -
20
PhantomBot
PhantomBot is an actively developed open source interactive Twitch bot
PhantomBot is an actively developed open source interactive Twitch bot with a vibrant community that provides entertainment and moderation for your channel, allowing you to focus on what matters the most to you, your game and your viewers. PhantomBot is a Twitch chat bot powered by Java. PhantomBot has many modern features out of the box such as a built-in webpanel, enhanced moderation, games, a point system, raffles, custom commands, a music player, and more. PhantomBot can also be... -
21
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! -
22
Salt
Automate the management and configuration of infrastructures at scale
...Before implementing Salt to manage any data center infrastructure it is important to understand a few things about Salt platform support including: What platforms will the Salt Master run on? What systems and infrastructure can be managed by a Salt Minion? Salt runs on and manages many versions of Linux, Windows, Mac OS X and UNIX. The Salt Supported Operating System document defines the specific operating systems that are fully supported and outlines the package creation policy for each operating system listed. The document also outlines the best-effort support policy for additional operating systems. Salt Bootstrap is a shell script that detects the target platform and selects the best installation method. -
23
tun2proxy
Tunnel (TUN) interface for SOCKS and HTTP proxies
tun2proxy is a Rust-based networking tool that routes traffic from a TUN interface through HTTP or SOCKS proxies. It allows system-level traffic to be redirected through a proxy even when individual applications do not support proxy configuration. The project supports Linux, Android, macOS, iOS, and Windows, making it broadly useful across desktop, mobile, and embedded-style environments. It includes HTTP, SOCKS4, SOCKS5, SOCKS4a, and SOCKS5h support, along with authentication options depending on the proxy type. tun2proxy can automatically configure routing in supported environments, or it can be used with manual TUN setup for more controlled deployments. ... -
24
koishi-plugin-novelai
Koishi plugin for NovelAI image generation with advanced controls
A Koishi-based plugin that enables image generation through NovelAI, designed for chat-driven workflows and flexible prompt control. It supports multiple configuration options, including model switching, sampler selection, and adjustable image sizes, giving users control over output quality and style. It includes advanced prompt syntax to refine results and allows automatic translation of Chinese keywords to improve usability across languages. A customizable banned word list helps filter... -
25
Qwen3.5
Qwen3.5 is the large language model series developed by Qwen team
Qwen3.5 is part of Alibaba’s Qwen family of large language and multimodal foundation models, designed to power advanced AI applications such as chatbots, coding assistants, and autonomous agents. The project represents a significant step toward “agentic AI,” meaning models that can reason through multi-step tasks and interact with external tools or environments rather than only generating text. Qwen3.5 builds on earlier Qwen generations by improving multilingual understanding, reasoning...
