56 projects for "linux programs" with 2 filters applied:

  • 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
  • $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
  • 1
    inotify-tools

    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    reproc

    reproc

    A cross-platform (C99/C++11) process library

    reproc (Redirected Process) is a cross-platform C/C++ library that simplifies starting, stopping and communicating with external programs. The main use case is executing command line applications directly from C or C++ code and retrieving their output. reproc consists out of two libraries: reproc and reproc++. reproc is a C99 library that contains the actual code for working with external programs. reproc++ depends on reproc and adapts its API to an idiomatic C++11 API. It also adds a few...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 3
    LibVNCServer

    LibVNCServer

    LibVNCServer/LibVNCClient are cross-platform C libraries

    LibVNCServer, a library for easy implementation of a VNC server. VNC is a set of programs using the RFB (Remote Frame Buffer) protocol. They are designed to "export" a frame buffer via net: you set up a server and can connect to it via VNC viewers. If the server supports WebSockets (which LibVNCServer does), you can also connect using an in-browser VNC viewer like noVNC. LibVNCServer/LibVNCClient are cross-platform C libraries that allow you to easily implement VNC server or client...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 4
    PyQuil

    PyQuil

    A Python library for quantum programming using Quil

    PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. To...
    Downloads: 5 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
    tlaplus

    tlaplus

    TLC is an explicit state model checker for specifications in TLA+

    TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    RustDesk Server PRO

    RustDesk Server PRO

    Some scripts for RustDesk Server Pro are hosted here

    This project provides the enterprise-grade backend for RustDesk deployments that need centralized management, stronger policy controls, and advanced operational tooling. It encompasses the components required to broker, relay, and supervise connections while adding administrative layers suitable for regulated or large environments. Organizations can standardize how clients authenticate, how sessions are permitted and audited, and how data paths are routed under diverse network constraints....
    Downloads: 37 This Week
    Last Update:
    See Project
  • 7
    Go Jsonnet

    Go Jsonnet

    This an implementation of Jsonnet in pure Go

    go-jsonnet is a pure Go implementation of the Jsonnet data templating language, which extends JSON with variables, functions, imports, and a standard library so you can generate complex configuration safely. Instead of hand-maintaining massive JSON files, you write concise, reusable templates that evaluate to JSON or YAML, with deterministic semantics and rich error messages. The repository ships both an embeddable VM for Go programs and a command-line interpreter, making it easy to...
    Downloads: 44 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    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
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 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
    Apollo-11

    Apollo-11

    Original Apollo 11 Guidance Computer (AGC) source code

    Apollo-11 hosts the original Apollo 11 Guidance Computer (AGC) source code for the Command Module and Lunar Module, faithfully transcribed from historical listings. It is written in AGC assembly and reflects 1960s software engineering practices, complete with comments from the original programmers. The code is both a cultural artifact and a technical reference, illustrating how limited memory and processor constraints shaped algorithms and system design. Developers can examine navigation...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 12
    The Agda standard library

    The Agda standard library

    The Agda standard library

    The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    Rapid YAML

    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...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 14
    Russh

    Russh

    Rust SSH client & server library

    Russh provides a Rust library for implementing SSH clients and servers with a modern, async-friendly design. It exposes building blocks for authentication, channel management, port forwarding, and key handling, allowing you to embed SSH functionality directly into Rust applications. The API is designed to be explicit and composable, making it possible to implement custom behaviors like reverse tunnels, interactive shells, and service multiplexing. Because performance and safety are central,...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 15
    cast

    cast

    safe and easy casting from one type to another in Go

    Cast is a Go library that provides easy and safe conversion (casting) between different types in Go programs. Especially when dealing with interface{} or dynamic/reflect-heavy code, it becomes cumbersome to assert types or convert values reliably; cast addresses that by offering a suite of functions to convert from any input to the target type with predictable behaviour. Rather than relying purely on raw type assertions, it offers ToInt, ToString, ToBool, ToTime, etc., and their...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 16
    OneFile

    OneFile

    Curates delightful open-source projects

    OneFile curates delightful open-source projects that each consist of a single file, highlighting how much you can learn from compact, self-contained code. The collection spans tiny games, utilities, servers, interpreters, and teaching demos where the entire idea fits in one readable source. This “one file” constraint makes every example approachable—you can open it, grasp the full control flow, and experiment without navigating a large codebase. It’s ideal for learners seeking quick wins or...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    C-ARES

    C-ARES

    A C library for asynchronous DNS requests

    This is C-ARES, an asynchronous resolver library. It is intended for applications that need to perform DNS queries without blocking, or need to perform multiple DNS queries in parallel. The primary examples of such applications are servers that communicate with multiple clients and programs with graphical user interfaces. The full source code is available in the 'C-ARES' release archives.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    MicroQuickJS

    MicroQuickJS

    Public repository of the Micro QuickJS Javascript Engine

    MicroQuickJS (MQuickJS) is a compact JavaScript engine designed specifically for embedded systems where memory and storage are extremely limited. Its primary goal is to compile and run JavaScript programs using minimal RAM, making it suitable for microcontrollers and constrained devices that cannot host a full-featured runtime. The engine is intentionally small in ROM footprint while still providing practical performance comparable to lightweight desktop-grade embeddable engines in its...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Transit Format

    Transit Format

    A data interchange format

    Transit is a data interchange format and set of libraries designed for reliably conveying structured values (with types) between applications written in different programming languages. The “transit-format” repository defines the specification of the format (tagging, extension, encoding rules) independent of any implementation. It builds on top of JSON and MessagePack (where possible) to reuse their performance and parsing infrastructure, but adds a tagging/extension mechanism to support...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Ruma

    Ruma

    A set of Rust crates for interacting with the Matrix chat network

    Matrix is an open specification for an online communication protocol. It includes all the features you'd expect from a modern chat platform including instant messaging, group chats, audio and video calls, searchable message history, synchronization across all your devices, and end-to-end encryption. Matrix is federated, so no single company controls the system or your data. You can use an existing server you trust or run your own, and the servers synchronize messages seamlessly. Learn more...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Scalaz

    Scalaz

    Principled Functional Programming in Scala

    Scalaz is a foundational functional-programming library for Scala that provides type classes, data types, and syntax to write pure, composable code. It implements classic abstractions such as Functor, Applicative, Monad, Monoid, Foldable, and Traverse, along with powerful transformers (ReaderT, StateT, WriterT, OptionT, and more) to structure effects. The library offers rich data structures—\/ (disjunction), Validation, NonEmptyList, IList, and Free—that help model errors, invariants, and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    [OFFICIAL] tinyfiledialogs C C++ v3.21.3

    [OFFICIAL] tinyfiledialogs C C++ v3.21.3

    inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal

    one C/C++ file & header ==> 8 functions: - beep - tray notify popup - message & question - input & password - save file - open file(s) - select folder - color picker complements OpenGL Vulkan GLFW GLUT GLUI VTK SFML TGUI SDL Ogre Unity3d ION OpenCV CeGui MathGL GLM CPW GLOW Open3D ImGui MyGui GLT NGL STB Nuklear Fenster MicroUi & head-less programs NO INIT NO MAIN LOOP NO LINKING NO INCLUDE win (XP to 11) ASCII MBCS UTF-8 UTF-16 (wchar_t) - native dialogs osx/unix ASCII UTF-8 - applescript kdialog zenity shanty … ° SSH console / X forwarding / waypipe Wayland ° the dialogs can be forced into console mode ° curses dialogs via Dialog.exe/Dialog (disabled by default) C89/C23 & C++98/C++23 compliant VisualStudio MinGW GCC Clang TinyCC IntelCC OWCC BCC SunCC on Windows Mac Linux Bsd Solaris Minix Raspbian Flatpak Haiku bindings: VCPKG C# R Lua Rust Haskell Java AllegroBasic Fortran Pascal D JavaScript Kotlin click tab 'Files' for prototypes
    Leader badge
    Downloads: 104 This Week
    Last Update:
    See Project
  • 23
    javaboy-code-samples

    javaboy-code-samples

    Collection of Java code examples and demo projects

    javaboy-code-samples is a well-curated collection of Java code examples and demo projects assembled by a prolific instructor and blogger to illustrate key concepts in backend development. Rather than focusing on a single application, it groups many small sample programs and projects that exemplify usage of Java core APIs, Spring Boot, frameworks like GRPC and Shiro, REST services, JWT, web security, caching, asynchronous processing, and database interactions. Each sample serves as a compact...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Kitten

    Kitten

    A statically typed concatenative systems programming language

    Kitten is an experimental, concatenative programming language that blends Forth/Joy-style stack programming with modern static typing and effect tracking. Programs are composed by chaining small words that transform a typed stack, and the compiler uses type inference to ensure compositions are valid. The language explores disciplined handling of side effects, aiming to separate pure transformations from operations that perform I/O or mutate state. Its design encourages small, reusable...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Polysemy

    Polysemy

    Higher-order, no-boilerplate monads

    Polysemy is a high-performance, zero-boilerplate effect system for Haskell, designed to simplify the handling of side effects in functional programs. Unlike traditional monad transformer stacks, Polysemy uses a modern approach based on freer monads and interpreters, allowing developers to define, compose, and interpret effects in a more modular and testable way. It aims to offer both flexibility and performance without sacrificing type safety or expressiveness.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB