Search Results for "gnu/linux" - Page 6
Sort By:
Showing 5140 open source projects for "gnu/linux"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
iOS WebKit Debug Proxy
A DevTools proxy for iOS devices
The ios_webkit_debug_proxy (aka iwdp) proxies requests from usbmuxd daemon over a websocket connection, allowing developers to send commands to MobileSafari and UIWebViews on real and simulated iOS devices. iOS WebKit Debug Proxy works on Linux, MacOS & Windows. The iOS Simulator is supported, but it must be started before the proxy. The simulator can be started in XCode, standalone, or via the command line. ios_webkit_debug_proxy can be used with many tools such as Chrome DevTools and Safari Web Inspector. To use Chrome DevTools it's the recommendation to use the RemoteDebug/remotedebug-ios-webkit-adapter project, which has instructions on how to setup Chrome to remote debug iOS devices, much similar to Android debugging. ... -
2
sectorlisp
Bootstrapping LISP in a Boot Sector
The sectorlisp project is a minimal implementation of the Lisp programming language designed to fit within extremely constrained environments. It is engineered to run in very small memory footprints, making it suitable for educational purposes and experimentation with low-level programming concepts. The project demonstrates how a functional programming language can be implemented with minimal resources while still retaining core features. It focuses on simplicity, providing a stripped-down... -
3
uemacs
Random version of microemacs with my private modificatons
uemacs is Linus Torvalds’ compact take on MicroEMACS, a tiny, fast, terminal-friendly text editor. The codebase prizes simplicity and portability, making it feasible to build and run on a variety of Unix-like systems without heavyweight dependencies. Its feature set is deliberately modest compared to full Emacs, favoring a quick, predictable editing experience for everyday text manipulation. The project serves as both a functional tool and an example of clean, old-school C systems... -
4
HYPRE
Parallel solvers for sparse linear systems featuring multigrid methods
Livermore’s HYPRE library of linear solvers makes possible larger, more detailed simulations by solving problems faster than traditional methods at large scales. It offers a comprehensive suite of scalable solvers for large-scale scientific simulation, featuring parallel multigrid methods for both structured and unstructured grid problems. The HYPRE library is highly portable and supports a number of languages. Work on HYPRE began in the late 1990s. It has since been used by research... -
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
5
Honggfuzz
Security oriented software fuzzer
honggfuzz is a general-purpose, high-performance fuzzer that mixes coverage feedback with practical crash triage to uncover memory-safety and logic bugs. It supports multiple fuzzing modes—stdin, file, and networking—so targets can be exercised the same way they run in production. Instrumentation via compiler hooks or hardware/perf counters guides mutations toward previously unseen edges, while persistent mode keeps the target process alive to amortize startup costs. The tool integrates... -
6
Wuffs
Wrangling Untrusted File Formats Safely
Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in... -
7
Checked C
Checked C is an extension to C that lets programmers write C code
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by... -
8
Inspektor Gadget
The eBPF tool and systems inspection framework for Kubernetes
Inspektor Gadget is a collection of tools (or gadgets) to debug and inspect Kubernetes resources and applications. It manages the packaging, deployment, and execution of eBPF programs in a Kubernetes cluster, including many based on BCC tools, as well as some developed specifically for use in Inspektor Gadget. It automatically maps low-level kernel primitives to high-level Kubernetes resources, making it easier and quicker to find the relevant information. -
9
pwru
eBPF-based Linux kernel networking debugger
pwru is an eBPF-based tool for tracing network packets in the Linux kernel with advanced filtering capabilities. It allows fine-grained introspection of kernel state to facilitate debugging network connectivity issues. -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
Tundra
Tundra is a code build system that tries to be accurate and fast
Tundra is a high-performance code build system designed to give the best possible incremental build times even for very large software projects. -
11
picom
A lightweight compositor for X11
picom is a compositor for X and a fork of Compton. A lightweight compositor for X11. -
12
OSTree
Operating system and container binary deployment and upgrades
OSTree is a tool that combines a Git-like model for managing bootable, immutable filesystem trees with a deployment mechanism for Linux-based operating systems. It enables atomic upgrades and rollbacks, ensuring system integrity and consistency. OSTree is particularly useful for scenarios where reliable and reproducible system deployments are critical. -
13
F·W·K
3D game engine/framework in C, with Luajit and Python bindings now
3D game framework in C, with Luajit and Python bindings now. -
14
xlswriter
PHP Extension for creating and reader XLSX files
PHPExcel has been unable to work properly for memory reasons at 40,000 and 100000 points, but it can be resolved by modifying the ini configuration, but the time may take longer to complete the work. xlswriter is a PHP C Extension that can be used to write text, numbers, formulas and hyperlinks to multiple worksheets in an Excel 2007+ XLSX file. -
15
rpm-ostree
Hybrid image/package system with atomic upgrades and package layering
rpm-ostree is a hybrid image/package system developed by CoreOS that combines the benefits of image-based and package-based systems for managing Linux operating systems. It utilizes OSTree for managing bootable, immutable filesystem trees and integrates with RPM to allow package layering. This approach enables atomic upgrades and rollbacks, ensuring system stability and consistency across deployments. rpm-ostree is particularly suited for scenarios where reliable and reproducible system states are critical, such as in containerized or edge computing environments. -
16
nlvm
LLVM-based compiler for the Nim language
nlvm is an LLVM-based compiler for the Nim programming language, aiming to leverage LLVM's optimization capabilities for improved performance. -
17
libnx
Library for Switch Homebrew
Nintendo Switch AArch64-only userland library. Based on libctru. Library for Switch Homebrew. -
18
CrossDB
Ultra High-performance Lightweight Embedded and Server OLTP RDBMS
CrossDB is a ultra high-performance, lightweight embedded and server OLTP RDBMS. It is designed for high-performance scenarios where the main memory can hold the entire database. -
19
gVisor
Application Kernel for Containers
gVisor is an application kernel developed by Google that provides a strong layer of isolation between applications and the host operating system. Written in Go, it implements a Linux-compatible system call interface that runs entirely in user space, creating a secure sandboxed environment for containers. Unlike traditional virtual machines or lightweight syscall filters, gVisor follows a third approach that offers many of the security benefits of virtualization while maintaining the speed, resource efficiency, and flexibility of containers. ... -
20
Jepsen
A framework for distributed systems verification, with fault injection
Jepsen is a framework for testing the correctness of distributed systems, especially under network partitions, concurrency, and failures. It is widely used to verify the consistency and availability guarantees of databases, consensus systems, and other distributed architectures. Jepsen simulates real-world failure conditions and analyzes the system’s behavior using linearizability and other formal models. -
21
SuiteSparse
The official SuiteSparse library: a suite of sparse matrix algorithms
The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University. -
22
Webots ROS2 Interface
Webots ROS 2 packages
webots_ros2 is a package that provides the necessary interfaces to simulate a robot in the Webots open-source 3D robots simulator. It integrates with ROS2 using ROS2 messages, services and actions. -
23
Kepler
Kepler (Kubernetes-based Efficient Power Level Exporter)
Kepler (Kubernetes-based Efficient Power Level Exporter) uses eBPF to probe performance counters and other system stats, use ML models to estimate workload energy consumption based on these stats, and exports them as Prometheus metrics. -
24
Riley's Graphics library FrameWork
A cross platform lightweight single-header simple-to-use library
RGFW (Really Good Framework) is a lightweight, C-based windowing and input library designed to be a minimal alternative to frameworks like GLFW or SDL. It supports OpenGL context creation, input handling, and simple file dialogs while staying highly portable and dependency-free. RGFW is ideal for developers who want tight control over their environment or want to build cross-platform applications with a tiny footprint. It’s particularly suited to educational, experimental, or embedded... -
25
AtomVM
Tiny Erlang VM
Brings Erlang, Elixir and other functional languages to really small systems. AtomVM implements from scratch a minimal Erlang VM that supports a subset of ErlangVM features and that is able to run unmodified BEAM binaries on really small systems like MCUs. There is much more information, including a more complete "Getting Started Guide," extensive documentation, examples, and contact information available on the AtomVM project website. AtomVM aims to be easily portable to new platforms with...
