Search Results for "linux programs" - Page 6

Showing 3220 open source projects for "linux programs"

View related business solutions
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    More flexibility. More control.

    Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1
    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: 14 This Week
    Last Update:
    See Project
  • 2
    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: 0 This Week
    Last Update:
    See Project
  • 3
    Soufflé

    Soufflé

    Datalog variant for tool designers crafting analyses in Horn clauses

    Rapid prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, and security checks. Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations. Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Soplos Linux Boro

    Soplos Linux Boro

    Soplos Linux is a Debian Testing-based distribution with the GNOME

    Soplos Linux Boro is a Debian Testing-based GNU/Linux distribution featuring the GNOME desktop, designed for users who want a modern, elegant, and productive Linux experience. Key Features: ✅ Based on Debian Testing, providing rolling updates and the latest stable software. ✅ GNOME desktop, offering a sleek, intuitive, and highly integrated user interface. ✅ Focus on simplicity and elegance, with carefully selected applications and minimal bloat. ✅ Optimized for modern hardware while...
    Leader badge
    Downloads: 85 This Week
    Last Update:
    See Project
  • 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
  • 5
    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: 2 This Week
    Last Update:
    See Project
  • 6
    D2

    D2

    D2 is a modern diagram scripting language that turns text to diagrams

    D2 is a diagram scripting language that turns text to diagrams. It stands for Declarative Diagramming. Declarative, as in, you describe what you want diagrammed, it generates the image. As well, the functioning of the install script is described in detail to alleviate any concern of its use. We recommend using your OS's package manager directly instead for improved security but the install script is by no means insecure. D2 includes a variety of official themes to style your diagrams...
    Downloads: 20 This Week
    Last Update:
    See Project
  • 7
    MPI.jl

    MPI.jl

    MPI wrappers for Julia

    This is a basic Julia wrapper for the portable message-passing system Message Passing Interface (MPI). Inspiration is taken from mpi4py, although we generally follow the C and not the C++ MPI API. (The C++ MPI API is deprecated.) MPI is based on a single program, multiple data (SPMD) model, where multiple processes are launched running independent programs, which then communicate as necessary via messages. As the main entry point for users, MPI.jl provides a high-level interface which...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    Panda3D

    Panda3D

    Powerful, mature open-source cross-platform game engine for Python

    Powerful, mature open-source cross-platform game engine for Python and C++, developed by Disney and CMU. Panda3D is a game engine, a framework for 3D rendering and game development for Python and C++ programs. Panda3D is open-source and free for any purpose, including commercial ventures, thanks to its liberal license. To learn more about Panda3D's capabilities, visit the gallery and the feature list. To learn how to use Panda3D, check the documentation resources. If you get stuck, ask for...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 9
    Mitiq

    Mitiq

    Mitiq is an open source toolkit for implementing error mitigation

    Mitiq is a Python toolkit for implementing error mitigation techniques on quantum computers. Current quantum computers are noisy due to interactions with the environment, imperfect gate applications, state preparation and measurement errors, etc. Error mitigation seeks to reduce these effects at the software level by compiling quantum programs in clever ways.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | 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
  • 10
    CPlusPlusThings

    CPlusPlusThings

    Collection of various C++ code samples, utilities, patterns

    CPlusPlusThings is a repository collecting various C++ code samples, utilities, patterns, and small example projects. It is less a polished product and more a learning/reference collection of snippets and usages of C++ idioms, data structures, algorithms, utilities, and perhaps tricks or meta-programming exercises. (No prominent README or detailed docs were available from my quick search.) Example implementations of data structures and algorithms. Organized as a learning repository (rather...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    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: 2 This Week
    Last Update:
    See Project
  • 12
    EAGO.jl

    EAGO.jl

    A development environment for robust and global optimization

    EAGO is an open-source development environment for robust and global optimization in Julia. EAGO is a deterministic global optimizer designed to address a wide variety of optimization problems, emphasizing nonlinear programs (NLPs), by propagating McCormick relaxations along the factorable structure of each expression in the NLP. Most operators supported by modern automatic differentiation (AD) packages (e.g., +, sin, cosh) are supported by EAGO and a number of utilities for sanitizing...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 13
    WxJava

    WxJava

    WeChat develops Java SDK, supports back-end development

    WeChat develops Java SDK, supports back-end development including WeChat payment, open platform, small program, enterprise WeChat, official account, etc. For project cooperation and negotiation, please contact WeChat binary0000(search and add friends in WeChat, please indicate the intention of coming, if you need to discuss about SDK issues, please refer to the group discussion below, do not add this WeChat). Important reminder for beginners: This project is only an SDK development kit, and...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 14
    DELVE

    DELVE

    Delve is a debugger for the Go programming language

    Delve is a debugger for the Go programming language. The goal of the project is to provide a simple, full featured debugging tool for Go. Delve should be easy to invoke and easy to use. Chances are if you're using a debugger, things aren't going your way. With that in mind, Delve should stay out of your way as much as possible. Delve aims to be a very simple and powerful tool, but can be confusing if you're not used to using a source level debugger in a compiled language. This document will...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 15
    phpseclib

    phpseclib

    PHP secure communications library

    phpseclib is designed to be ultra-portable. The 3.0 version works on PHP 5.6+ and doesn't require any extensions. For purposes of speed, OpenSSL, GMP, libsodium or mcrypt are used, if they're available, but they are not required. phpseclib is designed to be fully interoperable with standardized cryptography libraries and protocols. MIT-licensed pure-PHP implementations of SSH-2, SFTP, X.509, an arbitrary-precision integer arithmetic library, Ed25519 / Ed449 / Curve25519 / Curve449, ECDSA /...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 16
    FireHOL

    FireHOL

    A firewall for humans.

    FireHOL is a language (and a program to run it) that builds secure, stateful firewalls from easy-to-understand, human-readable configurations. The configurations stay readable even for very complex setups. FireQOS is a program that sets up traffic shaping from an easy-to-understand and flexible configuration file. Both programs abstract away the differences between IPv4 and IPv6. so you can concentrate on the rules you want. You can apply rules for IPv4 or IPv6, or both, as you need.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17
    ncc

    ncc

    Compile a Node.js project into a single file

    Simple CLI for compiling a Node.js module into a single file, together with all its dependencies, gcc-style. Publish minimal packages to npm. Only ship relevant app code to serverless environments Don't waste time configuring bundlers, it is generally faster bootup time and less I/O overhead. Compiled language-like experience (e.g.: go). For testing and debugging, a file can be built into a temporary directory and executed with full source maps support. Some packages may need some extra...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18
    Flix

    Flix

    The Flix Programming Language

    Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Yahoo! Finance market data downloader

    Yahoo! Finance market data downloader

    Yahoo! Finance market data downloader

    Ever since Yahoo! finance decommissioned their historical data API, many programs that relied on it to stop working. yfinance aims to solve this problem by offering a reliable, threaded, and Pythonic way to download historical market data from Yahoo! finance. yfinance aimed to offer a temporary fix to the problem by scraping the data from Yahoo! Finance and returning a the data in the same format as pandas_datareader's get_data_yahoo(), thus keeping the code changes in existing software to a...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 20
    Apache Beam

    Apache Beam

    Unified programming model for Batch and Streaming

    Apache Beam is an open source, unified programming model to define both batch and streaming data-parallel processing pipelines, as well as certain language-specific SDKs for constructing pipelines and Runners. These pipelines are executed on one of Beam’s supported distributed processing back-ends, which include Apache Apex, Apache Flink, Apache Spark, and Google Cloud Dataflow. Beam is especially useful for Embarrassingly Parallel data processing tasks, and caters to the different needs...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    Agda

    Agda

    Agda is a dependently typed programming language

    Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 22
    Wails

    Wails

    Create desktop apps using Go and Web Technologies

    ...Use any frontend technologies you like and call your Go code using Javascript. The Wails tooling generates your projects, builds both your frontend & backend and creates a single binary. Mac, Linux & Windows supported! Expose Go methods/functions to the frontend via a single bind command. Uses native rendering engines, no embedded browser.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 23
    XPipe

    XPipe

    Your entire server infrastructure at your fingertips

    Introducing the brand-new shell connection hub and remote file manager that is ready to take on the challenges of modern infrastructure. XPipe takes a completely new approach to handling shell connections, which makes it possible to provide features that you can't find anywhere else. Explore what makes XPipe stand out. All SSH user and system configuration settings are automatically applied. Your existing SSH agent can be utilized to securely authenticate, there is no need to provide your...
    Downloads: 13 This Week
    Last Update:
    See Project
  • 24
    LangChain Rust

    LangChain Rust

    LangChain for Rust, the easiest way to write LLM-based programs

    LangChain Rust is an open-source Rust implementation inspired by the LangChain ecosystem for building applications powered by large language models. The library aims to provide Rust developers with a structured framework for orchestrating prompts, chains, agents, and external tools within LLM-driven workflows. By adapting LangChain concepts to the Rust programming language, the project emphasizes performance, safety, and efficient memory management. Developers can use the framework to build...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 25
    Shaderc

    Shaderc

    A collection of tools, libraries, and tests for Vulkan shader

    Shaderc is a collection of tools and libraries for compiling shaders—small programs that run on GPUs—into SPIR-V, the intermediate representation used by the Vulkan graphics API. It provides both a command-line tool (glslc) and a C/C++ library (libshaderc) that wrap the functionality of glslang (the Khronos reference compiler for GLSL) and SPIRV-Tools to deliver a modern, scriptable, and efficient shader compilation workflow. The glslc compiler offers a GCC/Clang-like interface for building...
    Downloads: 7 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB