Search Results for "linux programs"
Sort By:
Showing 222 open source projects for "linux programs"
View related business solutions-
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.
-
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.
-
1
inotify-tools
Inotify-tools is a C library and a set of command-line programs
This is a package of some command-line utilities relating to inotify. The general purpose of this package is to allow inotify's features to be used from within shell scripts. -
2
ispc
Intel SPMD Program Compiler
ispc is a compiler for a variant of the C programming language, with extensions for single programs, and multiple data programming. Under the SPMD model, the programmer writes a program that generally appears to be a regular serial program, though the execution model is actually that a number of program instances execute in parallel on the hardware. ispc compiles a C-based SPMD programming language to run on the SIMD units of CPUs and GPUs; it frequently provides a 3x or more speedup on... -
3
WasmEdge
Extensible WebAssembly runtime for cloud native applications
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime. It is the fastest Wasm VM today. WasmEdge is an official sandbox project hosted by the CNCF. Its use cases include modern web application architectures (Isomorphic & Jamstack applications), microservices on the edge cloud, serverless SaaS APIs, embedded functions, smart contracts, and smart devices. The WasmEdge Runtime provides a well-defined execution sandbox for its contained WebAssembly bytecode program. The... -
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... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
rr
Record and Replay Framework
rr aspires to be your primary C/C++ debugging tool for Linux, replacing — well, enhancing — gdb. You record a failure once, then debug the recording, deterministically, as many times as you want. The same execution is replayed every time. rr also provides efficient reverse execution under gdb. Set breakpoints and data watchpoints and quickly reverse-execute to where they were hit. rr works on real applications and is used by many developers to fix real bugs. It makes debugging hard bugs much... -
6
MSP Programs & Scripts
Programs and PowerShell Scripts for MSP/RMM Admins
Just a place to collect & share the scripts I've developed as an MSP for my various software systems, like PSA & RMM... and more from other like-minded MSPs who wanted to help others! No guarantee that everything is in PowerShell, C#, or even the latest version, so be sure to read the code comments and other documentation, as well as ask the community. You may even find discussions. -pat -
7
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... -
8
Rapid YAML
Library to parse and emit YAML, and do it fast
Or ryml, for short. ryml is a C++ library to parse and emit YAML, and do it fast, on everything from x64 to bare-metal chips without operating system. (If you are looking to use your programs with a YAML tree as a configuration tree with override facilities, take a look at c4conf). ryml parses both read-only and in-situ source buffers; the resulting data nodes hold only views to sub-ranges of the source buffer. No string copies or duplications are done, and no virtual functions are used. The... -
9
IRremoteESP8266
Infrared remote library for ESP8266/ESP32
Infrared remote library for ESP8266/ESP32. Send and receive infrared signals with multiple protocols. This library enables you to send and receive infra-red signals on an ESP8266 or an ESP32 using the Arduino framework using common 940nm IR LEDs and common IR receiver modules. e.g. TSOP{17,22,24,36,38,44,48} demodulators etc. Usage of the library has been slightly changed in v2.0. You will need to change your usage to work with v2.0 and beyond. You can read more about the changes required on... -
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
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
Drogon
Drogon: A C++14/17/20 based HTTP web application framework
Drogon is a C++14/17-based HTTP application framework. Drogon can be used to easily build various types of web application server programs using C++. Drogon is the name of a dragon in the American TV series "Game of Thrones" that I really like. Drogon is a cross-platform framework, It supports Linux, macOS, FreeBSD, OpenBSD, HaikuOS, and Windows. Use a non-blocking I/O network lib based on epoll (kqueue under macOS/FreeBSD) to provide high-concurrency, high-performance network IO, please visit the TFB Tests Results for more details. ... -
12
Solidity
The Smart Contract Programming Language
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation... -
13
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... -
14
mlpack
mlpack: a scalable C++ machine learning library
mlpack is an intuitive, fast, and flexible C++ machine learning library with bindings to other languages. It is meant to be a machine learning analog to LAPACK, and aims to implement a wide array of machine learning methods and functions as a "swiss army knife" for machine learning researchers. In addition to its powerful C++ interface, mlpack also provides command-line programs, Python bindings, Julia bindings, Go bindings and R bindings. Written in C++ and built on the Armadillo linear... -
15
Shumai
Fast Differentiable Tensor Library in JavaScript & TypeScript with Bun
...Built on Bun and Flashlight, with ArrayFire as its numerical backend, Shumai brings GPU-accelerated tensor operations, automatic differentiation, and scientific computing tools directly to JavaScript developers. It allows seamless integration of machine learning, deep learning, and custom differentiable programs into web-based or server-side environments without relying on Python frameworks. The library supports matrix operations, gradient computation, and tensor conversions with intuitive APIs and near-native speed, thanks to Bun’s low-overhead FFI bindings. It can automatically leverage GPU acceleration on Linux (via CUDA) and CPU computation on macOS. -
16
SWIG
A code generator for connecting C/C++ with other programming languages
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of target languages including common scripting languages such as Javascript, Perl, PHP, Python, Tcl and Ruby. The list of supported languages also includes non-scripting languages such as C#, D, Go language, Java, Lua, OCaml, Octave, R and Scilab as well as the Guile implementation of the Scheme language. SWIG is most commonly... -
17
Octave Forge
A collection of packages providing extra functionality for GNU Octave
Octave Forge is a central location for collaborative development of packages for GNU Octave. The Octave Forge packages expand Octave's core functionality by providing field specific features via Octave's package system. See https://octave.sourceforge.io/packages.php for a list of all available packages. GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and... -
18
Is library and set of tools to dynamically creating(generating) GUI's in different environments. Programs knows no think about widgets, etc. It can be compared to XUL and XSLT with Ecma Script, but it's designed to native applications.
-
19
ooRexx (Open Object Rexx)
REXX interpreter
Home of the Open Object Rexx Project. ooRexx is the open source version of IBM's Object REXX Interpreter. It is upwardly compatible with classic REXX and will execute classic REXX programs unchanged. The project is managed by the Rexx Language Association. -
20
AlgorithmsDev Library by Arshad Latti
comman and new algorithms and functions development and demo programs.
Provide implemented algorithms and functions with demo programs to test.keeped portable as possible at OS level and programming language(understanding)level.provide third party archives if available for ralvent algorithm.links for YouTube videos on availability by us and third party. -
21
PLEASE NOTE: this package is meant to work with the Rexx SAA interface (e.g. with Regina) and non-modular Java (up to and including Java 8LTS). Project continued as a much more powerful and up-to-date version for ooRexx, available at https://sourceforge.net/projects/bsf4oorexx/ PURPOSE: Bean Scripting Framework Rexx Engine (bsf4rexx) allows Java programs to call Rexx programs, and for Rexx programs to create and manipulate Java objects. The package will allow to script OpenOffice.org:...
-
22
SageMaker TensorFlow
SageMaker specific extensions to TensorFlow
...For TensorFlow 1.x support, see the master branch. sagemaker-tensorflow releases for all supported versions are available on PyPI. SageMaker TensorFlow extensions builds on Python 3.4-3.9 in Linux with a TensorFlow version >= 1.7. Older versions of TensorFlow are not supported. Please make sure to checkout the branch of sagemaker-tensorflow-extensions that matches your TensorFlow version. SageMaker Pipe Mode is a mechanism for providing S3 data to a training job via Linux fifos. Training programs can read from the fifo and get high-throughput data transfer from S3, without managing the S3 access in the program itself. -
23
vici
Vici - create a UNIX script using a flow chart interface.
Description Vici aims to make the UNIX command line programs easily available to the users of Linux GUI desktop environments. A flow chart can be built with commands and their parameters. This can then be saved as a script which can be installed into the user's desktop as an application. The script supports all Linux commands, pipelines, file redirection, variables, functions, and multiple threads of control. -
24
CFI
Common Facilities Infrastructure
libcfi - A library of useful infrastructure components for C++ programs on the Linux platform. libcdi - A library for testing and tracing C++ programs. This code has a full test suite and has been used in several projects. It should be quite reliable. -
25
Virtual T is a TRS-80 Model 100/102/200 emulator that runs on Windows, Linux, and Macintosh. The goal of Virtual T is to provide 100% hardware emulation so any existing programs will run. It also adds powerful development and debugging tools.
