Search Results for "linux programs" - Page 6
Sort By:
Showing 3220 open source projects for "linux programs"
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.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
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... -
2
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... -
3
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... -
4
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... -
AI-generated apps that pass security reviewRetool 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.
-
5
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.... -
6
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... -
7
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... -
8
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... -
9
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. -
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
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... -
11
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. -
12
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... -
13
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... -
14
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... -
15
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 /... -
16
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. -
17
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... -
18
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. -
19
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... -
20
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... -
21
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... -
22
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. -
23
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... -
24
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... -
25
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...
