Search Results for "linux programs" - Page 5

Showing 3155 open source projects for "linux programs"

View related business solutions
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built 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.
    Create free account
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 1
    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: 27 This Week
    Last Update:
    See Project
  • 2
    SFTPGo

    SFTPGo

    Fully featured and highly configurable SFTP server with optional HTTP

    Fully featured and highly configurable SFTP server with optional HTTP/S, FTP/S and WebDAV support. Several storage backends are supported: local filesystem, encrypted local filesystem, S3 (compatible) Object Storage, Google Cloud Storage, Azure Blob Storage, SFTP. SFTPGo is an Open Source project and you can of course use it for free but please don't ask for free support as well. Support for serving local filesystem, encrypted local filesystem, S3 Compatible Object Storage, Google Cloud...
    Downloads: 102 This Week
    Last Update:
    See Project
  • 3
    hhuOS

    hhuOS

    hhuOS - A small operating system

    hhuOS is an educational operating system project developed by students at Heinrich Heine University (HHU) in Düsseldorf, Germany. It is built from scratch in C and Assembly and intended as a teaching tool to help students grasp the foundations of kernel development, memory management, system calls, and multitasking. The project focuses on clarity, modularity, and hands-on experimentation with real OS components, making it suitable for OS development courses or personal exploration.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 4
    MATIO

    MATIO

    MATLAB MAT File I/O Library

    MATLAB MAT file I/O library. Matio is an open-source C library for reading and writing binary MATLAB MAT files. This library is designed for use by programs/libraries that do not have access or do not want to rely on MATLAB's shared libraries.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 5
    eCapture

    eCapture

    Capturing SSL/TLS plaintext without a CA certificate using eBPF

    Capture SSL/TLS text content without a CA certificate using eBPF. Supports Linux/Android kernel versions x86_64 4.18 and above, aarch64 5.5 and above. Does not support Windows and macOS systems.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 6
    Smaller C

    Smaller C

    Simple C compiler

    Smaller C is a simple and small single-pass C compiler, currently supporting most of the C language common between C89/ANSI C and C99 (minus some C89 and plus some C99 features). Currently, it generates 16-bit and 32-bit 80386+ assembly code for NASM that can then be assembled and linked into DOS, Windows, Linux and Mac OS X programs. (You may use YASM or FASM instead of NASM) Code generation for MIPS CPUs is also supported (primarily for RetroBSD). The compiler is capable of compiling itself. The core compiler comes with a preprocessor (ucpp), a linker, and a compiler driver (the driver invokes the preprocessor, the core compiler, the assembler, and the linker and supports options similar to those of gcc).
    Downloads: 12 This Week
    Last Update:
    See Project
  • 7
    The Ballerina programming language

    The Ballerina programming language

    The Ballerina Programming Language

    Ballerina is an open-source programming language for the cloud that makes it easier to use, combine, and create network services. Network primitives in the language make it simpler to write services and run them in the cloud. Structural types with support for openness are used both for static typing within a program and for describing service interfaces. Type-safe, declarative processing of JSON, XML, and tabular data with language-integrated queries. Explicit error handling, static types,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Blockly Games

    Blockly Games

    Games for tomorrow's programmers

    Blockly Games is a collection of educational games that teach core programming concepts using Google’s Blockly visual blocks. Each game introduces ideas like sequencing, loops, conditionals, functions, and variables through playful puzzles that gradually increase in difficulty. Under the hood, the block programs compile to JavaScript, giving learners a bridge from drag-and-drop logic to real code. The activities are self-contained and browser-based, requiring no installation, which makes...
    Downloads: 21 This Week
    Last Update:
    See Project
  • 9
    gitwatch

    gitwatch

    Watch a file or folder and automatically commit changes to a git repo

    A bash script to watch a file or folder and commit changes to a git repo. Some programs auto-write their config files, without waiting for you to click an 'Apply' button; or even if there is such a button, most programs offer you no way of going back to an earlier version of your settings. If you commit your config file(s) to a git repo, you can track changes and go back to older versions. This script makes it convenient, to have all changes recorded automatically. If you use an editor that...
    Downloads: 3 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 10
    Spoon

    Spoon

    Metaprogramming library to analyze and transform Java source code

    Spoon is an open-source library to analyze, rewrite, transform, transpile Java source code. It parses source files to build a well-designed AST with powerful analysis and transformation API. It supports modern Java versions up to Java 20. Spoon is an official Inria open-source project, and member of the OW2 open-source consortium.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 11
    RISC-V sandboxing library

    RISC-V sandboxing library

    The fastest RISC-V sandbox

    RISC-V sandboxing library is a high-performance, ultra-low-latency RISC-V userspace emulator library written in modern C++, designed for embedding and sandboxing applications. Unlike full-system emulators, it focuses specifically on executing user-space programs, making it ideal for scenarios such as sandboxed execution, scripting engines, and high-performance server environments. The library is engineered to achieve extremely fast startup and execution times, with the ability to run large...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Nightingale OS

    Nightingale OS

    A small operating system where I experiment and learn osdev

    nightingale is a modern hobby operating system developed in Rust, focusing on safety, simplicity, and minimalism. It aims to be a clean platform for experimentation and learning, implementing a small kernel with core features like multitasking, memory protection, and a minimal filesystem. Its use of Rust provides strong guarantees around memory safety and eliminates common bugs found in low-level C-based systems. nightingale is ideal for those seeking to study OS development using a modern...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 13
    box86

    box86

    Linux Userspace x86 Emulator targeted at ARM Linux devices

    Box86 lets you run x86 Linux programs (such as games) on non-x86 Linux systems, like ARM (the host system needs to be 32bit little-endian). Because box86 uses the native versions of some “system” libraries, like libc, libm, SDL, and OpenGL, it’s easy to integrate and use with most applications, and performance can be surprisingly high in some cases. Many games already work without much tweaking, for example WorldOfGoo, Airline Tycoon Deluxe, and FTL.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 14
    BQSKit

    BQSKit

    Berkeley Quantum Synthesis Toolkit

    The Berkeley Quantum Synthesis Toolkit (BQSKit) [bis • kit] is a powerful and portable quantum compiler framework. It can be used with ease to compile quantum programs to efficient physical circuits for any QPU. A standard workflow utilizing BQSKit consists of loading a program into the framework, modeling the target QPU, compiling the program, and exporting the resulting circuit.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 15
    Markdown package LaTeX

    Markdown package LaTeX

    Package for converting and rendering markdown documents in TeX

    The Markdown package converts CommonMark markup to TeX commands. The functionality is provided both as a Lua module, and as plain TeX, LaTeX, and ConTeXt macro packages that can be used to directly typeset TeX documents containing markdown markup. Unlike other convertors, the Markdown package does not require any external programs and makes it easy to redefine how each and every markdown element is rendered. Creative abuse of the markdown syntax is encouraged.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 16
    Stan.jl

    Stan.jl

    Stan.jl illustrates the usage of the 'single method' packages

    A collection of example Stan Language programs demonstrating all methods available in Stan's cmdstan executable (as an external program) from Julia. For most applications one of the "single method" packages, e.g. StanSample.jl, StanDiagnose.jl, etc., is a better choice for day-to-day use. To execute the most important method in Stan ("sample"), use StanSample.jl. Some Pluto notebook examples can be found in the repository.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 17
    Erlang/OTP

    Erlang/OTP

    Build massively scalable soft real-time systems

    Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance. OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems. It includes its own distributed database, applications to interface...
    Downloads: 30 This Week
    Last Update:
    See Project
  • 18
    OpenComputers

    OpenComputers

    Home of the OpenComputers mod for Minecraft

    OpenComputers is a Minecraft mod that adds programmable computers and robots to the game. The built-in computer implementation uses Lua 5.2 and is fully persistent. This means programs will continue running across reloads. OpenComputers is a mod that adds computers and robots into the game, which can be programmed in Lua 5.3. It takes ideas from a couple of other mods such as ComputerCraft, StevesCarts and Modular Powersuits to create something new and interesting.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 19
    MCiSEE

    MCiSEE

    All of Minecraft, EASILY get Minecraft resources

    MCiSEE is an open-source project designed to integrate Minecraft with computer vision and artificial intelligence experiments. The system focuses on capturing visual information from the game environment and exposing it to external programs for analysis or machine learning research. By converting gameplay data into visual or structured formats, MCiSEE enables researchers and developers to build AI agents capable of interacting with the Minecraft environment. The project can be used as a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    rehype

    rehype

    HTML processor powered by plugins part of the @unifiedjs collective

    rehype is a tool that transforms HTML with plugins. These plugins can inspect and change the HTML. You can use rehype on the server, the client, CLIs, deno, etc. rehype is an ecosystem of plugins that work with HTML as structured data, specifically ASTs (abstract syntax trees). ASTs make it easy for programs to deal with HTML. We call those programs plugins. Plugins inspect and change trees. You can use the many existing plugins or you can make your own. You can use rehype for many different...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    Cloud Commander

    Cloud Commander

    Cloud Commander file manager for the web with console and editor

    Cloud Commander is a file manager for the web. It includes a command-line console and a text editor. Cloud Commander helps you manage your server and work with files, directories and programs in a web browser from any computer, mobile or tablet. Can be used local or remotely. Adapts to screen size. 3 built-in editors with support of syntax highlighting: Dword, Edward and Deepword. Console with support of the default OS command line. Written in JavaScript/Node.js. Built-in archives pack: zip...
    Downloads: 10 This Week
    Last Update:
    See Project
  • 22
    listmonk

    listmonk

    High performance, self-hosted, newsletter and mailing list manager

    Performance and features packed into a single binary. Manage millions of subscribers across many single and double opt-in lists with custom JSON attributes for each subscriber. Query and segment subscribers with SQL expressions. Use the super fast bulk importer (10k records per second) or use HTTP/JSON APIs or interact with the simple table schema to integrate external CRMs and subscriber databases. Visualize and compare campaign performance. Connect external visualization programs to the...
    Downloads: 17 This Week
    Last Update:
    See Project
  • 23
    Tetragon

    Tetragon

    eBPF-based Security Observability and Runtime Enforcement

    Tetragon is a flexible Kubernetes-aware security observability and runtime enforcement tool that applies policy and filtering directly with eBPF, allowing for reduced observation overhead, tracking of any process, and real-time enforcement of policies. Observe the complete lifecycle of every process on your machine with Kubernetes context awareness. Translate high-level policies for file monitoring, network observability, container security, and more into low-overhead eBPF programs....
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24
    Soplos Linux Tyson

    Soplos Linux Tyson

    Soplos Linux is a Debian Testing-based distribution with the Plasma 6

    Soplos Linux Tyson is a GNU/Linux distribution based on Debian Testing, designed for users taking their first steps into Linux or looking for a modern, stable, and efficient daily driver. Key Features: ✅ Based on Debian Testing, offering rolling updates and always up-to-date software. ✅ Ships with the KDE Plasma 6 desktop – modern, elegant, and highly customizable. ✅ Clean and minimalist interface with no unnecessary bloatware. ✅ Compatible with modest hardware – ideal for users...
    Downloads: 140 This Week
    Last Update:
    See Project
  • 25
    0install

    0install

    the core 0install package

    0install is a decentralized, cross-platform software installation system that allows developers to publish programs directly from their websites. It supports features like shared libraries, automatic updates, and digital signatures, providing a secure and flexible alternative to traditional package managers. 0install is designed to complement existing systems, ensuring that packages do not interfere with those provided by the operating system.​
    Downloads: 3 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB