Search Results for "gnu/linux"
Sort By:
22940 projects for "gnu/linux" with 2 filters applied:
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
linux-wasm
WebAssembly (Wasm) arch support for the Linux kernel
linux-wasm is an experimental project that ports the Linux kernel to run directly as a WebAssembly module, enabling a full Linux environment to boot and operate entirely inside a web browser without virtualization or cloud infrastructure. Instead of emulating Linux through a virtual machine, this project compiles the actual kernel for a WebAssembly target, allowing it to execute natively within a Wasm runtime. -
2
Linux Command Library (Mobile+CLI+Web)
1M downloads Linux reference app with basics, tips and formatted pages
The app currently has 5547 manual pages, 22+ basic categories and a bunch of general terminal tips. It works 100% offline, doesn't need an internet connection and has no tracking software. -
3
GNU Emacs / N Λ N O
Emacs made simple
GNU Emacs / N Λ N O is a lightweight, minimalistic Emacs-inspired text editor configuration (or “distribution”) created by Nicolas P. Rougier that aims to provide a simpler and more streamlined experience compared to full-blown Emacs setups. It retains essential editing capabilities while stripping down much of the complexity and heavyweight features that can make traditional Emacs intimidating to newcomers. -
4
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
AppSync
Unified AppSync dynamic library for iOS 5 and above
AppSync is a tool that enables sideloading and installation of unsigned iOS applications. It allows developers and users to install apps without requiring a paid Apple Developer account. -
6
OOO Extras
Extra tools for OpenOffice under weak copyleft or other licenses
A space to store classic OOo dependencies that cannot be easily redistributed in Apache OpenOffice's Source tree. Initially this was meant for copyleft tarballs only but it is also pretty handy to mirror other file dependencies. -
7
PhotoGIMP
A Patch for GIMP 3+ for Photoshop Users
PhotoGIMP is a popular patch for GIMP on Linux (particularly Flatpak installs) that remaps the UI, layout, and keyboard shortcuts to closely match Adobe Photoshop. It includes updated splash screen and icons, reorganizes tool palettes, applies familiar Photoshop hotkeys, and adds default settings and free fonts to ease the learning curve for Photoshop users transitioning to GIMP -
8
Sliver
Adversary Emulation Framework
...Sliver's implants support C2 over Mutual TLS (mTLS), WireGuard, HTTP(S), and DNS and are dynamically compiled with per-binary asymmetric encryption keys. The server and client support MacOS, Windows, and Linux. Implants are supported on MacOS, Windows, and Linux (and possibly every Golang compiler target but we've not tested them all). -
9
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... -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
10
DB Browser for SQLite
The DB Browser for SQLite
DB Browser for SQLite (DB4S) is a high quality, visual, open source tool to create, design, and edit database files compatible with SQLite. DB4S is for users and developers who want to create, search, and edit databases. DB4S uses a familiar spreadsheet-like interface, and complicated SQL commands do not have to be learned. This program is not a visual shell for the sqlite command line tool, and does not require familiarity with SQL commands. It is a tool to be used by both developers and... -
11
v2ray-rules-dat
V2Ray routing rules file enhanced version, which can replace V2Ray
v2ray-rules-dat is a repository that compiles and distributes enhanced rule data (domain lists, geo-IP/geo-domain data, block/proxy/detect lists) intended for use with tools like V2Ray, Xray-core, and similar network/proxy frameworks. The dataset serves as an alternative or supplement to official geoip/ geosite data files, often providing more up-to-date, community-curated entries — enabling better routing, blocking, or traffic management when using those proxy tools. The repository is... -
12
projectM
Cross-platform Music Visualization Library
Cross-platform Music Visualization Library. Open-source and Milkdrop-compatible. Experience psychedelic and mesmerizing visuals by transforming music into equations that render a limitless array of user-contributed visualizations. projectM is an open-source project that reimplements the esteemed Winamp Milkdrop by Geiss in a more modern, cross-platform reusable library. Its purpose in life is to read an audio input and to produce mesmerizing visuals, detecting tempo, and rendering advanced... -
13
StabilityMatrix
Multi-Platform Package Manager for Stable Diffusion
StabilityMatrix is a project that helps organize, evaluate, and compare generative AI models and their behavior across prompts, datasets, or configuration settings. It provides a framework to run experiments systematically—capturing inputs, model configurations, outputs, and metrics—so researchers and practitioners can reason about differences in quality, robustness, and failure modes. The repository often bundles tooling for automated prompt sweeping, scoring heuristics (such as diversity,... -
14
Surge-rules
The Surge rule set (DOMAIN-SET and RULE-SET) for the Surge for iOS
Surge-rules is a project devoted to maintaining and distributing rule sets compatible with the Surge proxy application (for macOS/iOS), intended for domain- or routing-based traffic management. Instead of manually building or maintaining Surge configuration files, users can rely on this repo to obtain up-to-date “RULE-SET” or “DOMAIN-SET” configurations that reflect community-curated lists of domains/IPs for direct access, proxying, blocking, or custom routing. Because network and domain... -
15
Keyviz
Keyviz is a free and open-source tool to visualize your keystrokes
Keyviz is an open-source tool written in Dart/C++ that visualizes your keystrokes and mouse actions in real-time, overlaying them on screen. It’s ideal for screencasts, presentations, livestreams, or instructional videos, showing users exactly what keys or buttons you press, and visually highlights them with customizable styles and filters. -
16
RustDesk Server Program
Self-host your own RustDesk server
rustdesk-server is the self-hosted backend for RustDesk, an open-source remote desktop solution. It provides the rendezvous and relay components that allow RustDesk clients to discover peers and traverse NATs securely, enabling direct or relayed connections when needed. By running your own server, you retain control over connection metadata and can operate entirely within your organization’s perimeter. The project targets simplicity of deployment while maintaining performance characteristics... -
17
Gigapipe
The Open-Source Polyglot Observability Warehouse
Gigapipe is an open-source, polyglot observability platform designed to unify logs, metrics, traces, and profiling data into a single, lightweight system. It serves as an all-in-one alternative to traditional observability stacks by implementing compatibility with widely used standards such as Loki, Prometheus, Tempo, and Pyroscope, allowing it to integrate seamlessly with existing tools and workflows. The platform supports ingestion from multiple sources, including OpenTelemetry and various... -
18
typst.ts
Run Typst in JavaScriptWorld
typst.ts is a project that brings the Typst typesetting system into the JavaScript ecosystem, enabling document compilation and rendering directly in browser and Node.js environments. It provides an implementation of Typst’s execution environment along with tools for compiling documents into various output formats, including vector graphics and web-friendly representations. The system is designed to support both client-side and server-side rendering workflows, allowing flexible deployment... -
19
pcsc-tools
Some tools to be used with smart cards and PC/SC
pcsc-tools is a suite of tools used to test smart cards and PC/SC drivers. It provides utilities like pcsc_scan to monitor smart card readers and scriptor to send commands to smart cards, aiding in development and troubleshooting. -
20
EssentialsX
The modern Essentials suite for Spigot and Paper
EssentialsX is a continuation of the Essentials plugin suite, updated to support modern Minecraft and Spigot versions. It provides countless new features, performance enhancements and fixes that are not available in the original Essentials or Spigot-Essentials. If you're coming from the original Essentials plugin, EssentialsX is a drop-in replacement for Essentials. -
21
OpenCorePkg
OpenCore bootloader
OpenCorePkg is an open-source, modular UEFI (Unified Extensible Firmware Interface) bootloader and development framework, primarily designed to enable macOS booting on non-Apple hardware (Hackintosh). It includes Apple-specific UEFI drivers, utilities for macOS installation support, and shared libraries used across Acidanthera projects. Apple disk image loading support. Apple keyboard input aggregation. Apple PE image signature verification. Apple UEFI secure boot supplemental code. Audio... -
22
Apache NetBeans
Apache NetBeans
...Apache NetBeans provides editors, wizards, and templates to help you create applications in Java, PHP and many other languages. Apache NetBeans can be installed on all operating systems that support Java, i.e, Windows, Linux, Mac OSX and BSD. Write Once, Run Anywhere, applies to NetBeans too. -
23
SikuliX
Now continued as OculiX — see oculix.org
...The active development,,releases, documentation and community have moved there. SikuliX (and now OculiX) automates anything you see on the screen of your desktop computer. Running Windows, Mac or some Linux/Unix. It uses image recognition powered by OpenCV to identify GUI components and can act on them with mouse and keyboard actions. This is handy in cases when there is no easy access to a GUI's internals or the source code of the application or web page you want to act on. This SourceForge entry is preserved for historical reference. ... -
24
Rekado
Payload launcher and serial number checker for Nintendo Switch
Payload launcher is written in Kotlin for Nintendo Switch. The application doesn't require Root on your device. -
25
Apple Music-like Lyrics
A lyric player component library aims to look similar to iPad
Apple Music-like Lyrics is a frontend-oriented project that recreates the dynamic, synchronized lyrics display experience found in Apple Music, focusing on smooth animations, real-time highlighting, and visually engaging typography. It is designed to render time-synced lyrics in a way that emphasizes readability and immersion, often using techniques such as progressive highlighting, scrolling alignment, and transitions that follow the rhythm of the music. The project demonstrates how modern...
