1557 projects for "prog programming software" with 2 filters applied:

  • 8 Monitoring Tools in One APM. Install in 5 Minutes. Icon
    8 Monitoring Tools in One APM. Install in 5 Minutes.

    Errors, performance, logs, uptime, hosts, anomalies, dashboards, and check-ins. One interface.

    AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
    Start Free
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up Free
  • 1
    SpaceX prepare for Clean Architecture

    SpaceX prepare for Clean Architecture

    Clean Architecture Modular Project: MVVM + Jetpack Compose

    The purpose of this project is to consolidate some of the learned insights throughout the years about the Clean Architecture principles and reflect those lessons on Android, taking advantage of the Kotlin programming language features too. This project summarises some of the general use cases and demands on a typical production project using: Jetpack Compose, Functional Programming, MVVM, Kotlin Coroutines, and Kotlin Flows (check the branches section for more information).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    iText

    iText

    iText for Java represents the next level of SDKs for developers

    iText for Java represents the next level of SDKs for developers who want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high and low-level programming capabilities and the ability to create, edit, and enhance PDF documents, iText can be a boon to nearly every workflow. iText Suite refers to the complete line of products comprising the open-source iText Core PDF library and its add-ons. The iText Suite is a fully-featured SDK for PDF development that allows you to seamlessly embed extensive PDF functionality into your software or workflows. ...
    Downloads: 19 This Week
    Last Update:
    See Project
  • 3
    PortableGL

    PortableGL

    An implementation of OpenGL 3.x-ish in clean C

    PortableGL is a single-header, software-only implementation of a subset of OpenGL (specifically the GL 2.1 pipeline), designed to run entirely on the CPU. This lightweight graphics library allows OpenGL-style rendering without GPU acceleration, making it ideal for educational use, debugging, embedded systems, and retro-style software rendering. Because it mirrors OpenGL syntax and design, it can act as a drop-in CPU renderer for testing or deploying 3D graphics on platforms without GPU support.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 4
    Google Style Guides

    Google Style Guides

    Style guides for Google-originated open source projects

    Google Styleguide is a comprehensive collection of coding style guides created and maintained by Google to ensure consistency, readability, and maintainability across its vast array of software projects. These guides define best practices and conventions for writing code in multiple programming languages, from C++ and Python to JavaScript, Go, and Swift. By adhering to these standards, developers can more easily collaborate, review code, and maintain high-quality software across teams and open source contributions. Each guide covers a wide range of topics, including naming conventions, file organization, indentation, documentation, and usage of specific language features. ...
    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
  • 5
    ZIO

    ZIO

    A type-safe, composable library for async and concurrent programming

    ZIO is a purely functional, type-safe Scala library that provides an Effect (ZIO[R,E,A]) abstraction for asynchronous, concurrent programming. It offers resource safety, fiber-based concurrency, strong error handling, and deterministic testing—all with zero external dependencies. Ideal for building scalable backend systems with compositional architecture.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    nimforum

    nimforum

    Lightweight alternative to Discourse written in Nim

    NimForum is a lightweight forum software written in Nim, designed for simplicity and ease of deployment. It powers the official Nim programming language forum.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Spring Integration

    Spring Integration

    Provides an extension of the Spring programming model

    Extends the Spring programming model to support the well-known Enterprise Integration Patterns. Spring Integration enables lightweight messaging within Spring-based applications and supports integration with external systems via declarative adapters. Those adapters provide a higher-level of abstraction over Spring’s support for remoting, messaging, and scheduling. Spring Integration’s primary goal is to provide a simple model for building enterprise integration solutions while maintaining...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    ESP-IDF

    ESP-IDF

    Espressif IoT Development Framework

    ESP-IDF (Espressif IoT Development Framework) is the official, open-source development framework for programming Espressif SoCs (such as ESP32, ESP32‑S2, ESP32‑C3 series). It provides toolchains, APIs, components, sample code, and workflows for building embedded IoT firmware, offering support for Wi‑Fi, Bluetooth, power management, and peripheral integration. As well as the esp-idf-template project mentioned in Getting Started, ESP-IDF comes with some example projects in the examples...
    Downloads: 47 This Week
    Last Update:
    See Project
  • 9
    fastn

    fastn

    (Alpha stage software) fastn - Full-stack Web Development Made Easy

    ftd is a programming language for building user interfaces and content-centric websites. ftd is easy to learn, especially for nonprogrammers, but it does not compromise on what you can build with it. fastn is a web framework, a content management system, and an integrated development environment for ftd. fastn is a web server, that compiles ftd to HTML/CSS/JS and can be deployed on your server, or on fastn cloud by FifthTry. ftd is designed with minimal and uniform syntax, and at first...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 10
    Drogon

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    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: 0 This Week
    Last Update:
    See Project
  • 13
    core.async

    core.async

    Facilities for async programming and communication in Clojure

    core.async is a Clojure library that brings asynchronous programming and communication to both Clojure and ClojureScript, enabling developers to write concurrent code using channels, go blocks, and CSP-style constructs rather than callbacks or threads. This project follows the version scheme MAJOR.MINOR.COMMITS where MAJOR and MINOR provide some relative indication of the size of the change, but do not follow semantic versioning. In general, all changes endeavor to be non-breaking (by moving...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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: 0 This Week
    Last Update:
    See Project
  • 15
    QuantumOptics.jl

    QuantumOptics.jl

    Library for the numerical simulation of closed as well as open quantum

    QuantumOptics.jl is a numerical framework written in the Julia programming language that makes it easy to simulate various kinds of open quantum systems. It is inspired by the Quantum Optics Toolbox for MATLAB and the Python framework QuTiP. QuantumOptics.jl optimizes processor usage and memory consumption by relying on different ways to store and work with operators. The framework comes with a plethora of pre-defined systems and interactions making it very easy to focus on the physics, not...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    MoonZoon

    MoonZoon

    Rust Fullstack Framework

    MoonZoon is a full-stack Rust web framework that enables developers to build reactive web applications using a unified Rust codebase for both frontend and backend logic. It is built around a reactive programming model where UI updates are automatically triggered by changes in application state, reducing the need for manual DOM manipulation or complex state management patterns. The framework leverages WebAssembly for the frontend, allowing Rust code to run directly in the browser while...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    Awesome Network Analysis

    Awesome Network Analysis

    A curated list of awesome network analysis resources

    awesome-network-analysis is a curated list of resources focused on network and graph analysis, including libraries, frameworks, visualization tools, datasets, and academic papers. It covers multiple programming languages and domains like sociology, biology, and computer science. This repository serves as a central reference for researchers, analysts, and developers working with network data.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    mo - Monads

    mo - Monads

    Monads and popular FP abstractions, powered by Go 1.18+ Generics

    mo - Monads is a functional programming utility library for Go that introduces monads and related abstractions using modern Go generics. The project brings well-known FP constructs such as Option, Result, Either, Future, IO, and Task into the Go ecosystem to help developers write safer and more composable code. By leveraging generics introduced in Go 1.18+, the library provides strong type safety without relying on reflection or code generation. It is particularly useful for managing...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Clerk

    Clerk

    Moldable Live Programming for Clojure

    Clerk is a notebook library for Clojure that enables interactive, reproducible, and version-control-friendly live programming. Notebook content is written in standard Clojure namespaces or Markdown with embedded Clojure code blocks and evaluates top-to-bottom for predictable behavior. Clerk notebooks are either regular Clojure namespaces (interspersed with markdown comments) or regular markdown files (interspersed with Clojure code fences). This also means Clerk notebooks are meant to be...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Catlab.jl

    Catlab.jl

    A framework for applied category theory in the Julia language

    Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. First and foremost, Catlab provides data structures, algorithms, and serialization for...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    huihut interview

    huihut interview

    A summary of C/C++ technical interview basics

    interview is a curated repository of technical interview questions, solutions, and explanations covering a wide range of topics in computer science and software engineering. It aims to help developers prepare for job interviews by providing sample problems in algorithms, data structures, system design, databases, and programming language intricacies, often with code snippets and discussion. The repo is designed so learners can practice real interview scenarios, compare approaches, and internalize foundational concepts that are frequently tested by tech companies. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Pythonic Data Structures and Algorithms

    Pythonic Data Structures and Algorithms

    Minimal examples of data structures and algorithms in Python

    The Pythonic Data Structures and Algorithms repository by keon is a hands-on collection of implementations of classical data structures and algorithms written in Python. It offers working, often well-commented code for many standard algorithmic problems — from sorting/searching to graph algorithms, dynamic programming, data structures, and more — making it a valuable resource for learning and reference. For students preparing for technical interviews, self-learners brushing up on...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    FunctionalPlus

    FunctionalPlus

    Functional Programming Library for C++

    Great code should mostly be self-documenting, but while using C++ in reality you can find yourself dealing with low-level stuff like iterators or hand-written loops that distract from the actual essence of your code. FunctionalPlus is a small header-only library supporting you in reducing code noise and in dealing with only one single level of abstraction at a time. By increasing brevity and maintainability of your code it can improve productivity (and fun!) in the long run. It pursues these...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24
    Orgmode.nvim

    Orgmode.nvim

    Orgmode clone written in Lua for Neovim 0.10.3+

    orgmode.nvim is a Neovim plugin that brings Org mode-style productivity features from Emacs to Neovim. It supports Org syntax for task management, agenda planning, notes, and literate programming. The plugin is designed to work natively in Lua and integrates with Neovim’s modern ecosystem while preserving Org mode’s power and flexibility.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    NotyKT

    NotyKT

    Complete Kotlin-stack (Backend + Android) application

    NotyKT is the complete Kotlin-stack note-taking application built to demonstrate a use of Kotlin programming language in server-side and Modern Android development tools. Dedicated to all Android Developers.
    Downloads: 1 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB