Search Results for "prog programming software"

1196 projects for "prog programming software" with 1 filter applied:

  • $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
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | 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
  • 1
    Introduction to Programming Principles

    Introduction to Programming Principles

    Categorized overview of Programming Principles & Patterns

    Introduction to Programming Principles is a living catalog of fundamental software development principles collected in one place so developers can reference and teach them easily. It documents well-known concepts like SOLID, DRY, KISS, YAGNI, and others, and explains when and why to apply them. The goal is to move principles from being fuzzy tribal knowledge to explicit, written, teachable guidelines.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    PLT (Programming Languages Theory)

    PLT (Programming Languages Theory)

    Programming Language Theory

    Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    Functional programming library golang

    Functional programming library golang

    functional programming library for golang

    This library aims to provide a set of data types and functions that make it easy and fun to write maintainable and testable code in Golang. Write many small, testable, and pure functions, i.e. functions that produce output only depending on their input and that do not execute side effects. Offer helpers to isolate side effects into lazily executed functions (IO). Expose a consistent set of compositions to create new functions from existing ones. For each data type, there exists a small set...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Libros de Programación en Español

    Libros de Programación en Español

    List of programming books in Spanish for free

    Libros de Programación en Español is a curated list of free programming books in Spanish, organized by topic and technology so learners can find high-quality materials without cost. The README is structured as an index with general programming books, followed by sections for specific languages such as JavaScript, TypeScript, Python, Ruby, Rust, PHP, Haskell, Go, Kotlin, Java, and R.Each entry includes the book title, author, and a link to the official or legal free version (PDF, HTML, eBook,...
    Downloads: 1 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
  • 5
    Professional Programming

    Professional Programming

    A collection of learning resources for curious software engineers

    Professional Programming is a long-running, curated collection of learning resources aimed at helping software engineers grow into well-rounded professionals. It goes far beyond basic “learn to code” material and covers topics like system design, debugging, testing, performance, security, architecture, and software craftsmanship. The list is organized by themes such as coding, design, operations, communication, and career, making it easy to dive into specific aspects of engineering practice. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Machine Learning for Software Engineers

    Machine Learning for Software Engineers

    A complete daily plan for studying to become a machine learning engine

    Machine Learning for Software Engineers is an open-source learning roadmap designed to help software engineers transition into machine learning roles through a structured, practical study plan. The repository presents a top-down learning path that emphasizes hands-on experience rather than heavy theoretical prerequisites, making it particularly approachable for developers who already have programming experience but limited formal training in machine learning. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Python

    Python

    The Python programming language

    Python is a powerful, high-level programming language known for its readability, simplicity, and versatility. It supports multiple programming paradigms including procedural, object-oriented, and functional styles. CPython, the reference implementation, is developed and maintained by the Python Software Foundation and the global open-source community. The language includes a vast standard library that accelerates development by providing built-in modules for file handling, networking, data manipulation, and more. ...
    Downloads: 30 This Week
    Last Update:
    See Project
  • 8
    Lean 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...
    Downloads: 33 This Week
    Last Update:
    See Project
  • 9
    MCreator

    MCreator

    Make Minecraft Java Edition mods, Minecraft Bedrock Edition Add-Ons

    MCreator is an open-source integrated development environment designed to simplify the process of creating Minecraft mods, add-ons, resource packs, and data packs. The software provides a visual programming environment where users can design mod features using graphical tools instead of writing code manually. Through wizards, block-based programming interfaces, and an integrated editor, MCreator generates the underlying Java or JSON code required for the mod automatically. This approach allows beginners and students to experiment with mod development without needing extensive programming experience. ...
    Downloads: 27 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
  • 10
    Barfi

    Barfi

    A Python visual Flow Based Programming library

    A Python visual Flow-Based Programming library that integrates into your existing workflow. Barfi is a Flow-Based Programming environment that provides a graphical programming interface. It is integratable into your existing Python workflows. A schema is built using barfi.Blocks. Then the schema is executed with barfi.ComputeEngine. Each barfi.Block has some properties that enable the FBP and schema building. Firstly, each Block has Input and Output interfaces that link to other Blocks. Each...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    core.logic

    core.logic

    A logic programming library for Clojure & ClojureScript

    core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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: 10 This Week
    Last Update:
    See Project
  • 13
    Shapeless

    Shapeless

    Generic programming for Scala

    Shapeless is a powerful generic programming library for Scala, enabling compile-time abstraction and manipulation of types. It provides features such as HLists (heterogenous lists), generic derivation of type class instances, dependent types, and polymorphic functions—allowing developers to write boilerplate-free, type-safe code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Mangle

    Mangle

    Go library for Datalog-style logical reasoning and domain modeling

    Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Starlark in Go

    Starlark in Go

    Starlark in Go: the Starlark configuration language, implemented in Go

    starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications. The Go-based interpreter allows developers to run or embed Starlark programs...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    AICGSecEval

    AICGSecEval

    A.S.E (AICGSecEval) is a repository-level AI-generated code security

    AICGSecEval is an open-source benchmark framework designed to evaluate the security of code generated by artificial intelligence systems. The project was developed to address concerns that AI-assisted programming tools may produce insecure code containing vulnerabilities such as injection flaws or unsafe logic. The framework constructs evaluation tasks based on real-world software repositories and known vulnerability cases derived from CVE records. By simulating realistic development scenarios, the benchmark assesses how well AI code generation systems handle security-sensitive programming tasks. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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: 45 This Week
    Last Update:
    See Project
  • 18
    Grails

    Grails

    Grails - the Web Application Framework

    Grails is an open‑source, full‑stack web application framework built on the Groovy language and the Java platform. It emphasizes “coding by convention” to streamline development by reducing configuration, leveraging Spring Boot, Hibernate, and integrated DSLs for rapid productivity. Supports expressive DSLs for validation, querying, and view rendering. High‑productivity web framework adopting “coding by convention” paradigm. Rich IDE support across IntelliJ IDEA, Eclipse, Sublime, and...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 19
    Easy-Vibe

    Easy-Vibe

    Tutorial on Product Prototype, AI Capability Integration

    Easy-Vibe is an open-source educational project designed to teach developers, product managers, and beginners how to build AI-powered applications using the emerging concept of “vibe coding,” a development approach that relies heavily on AI-assisted programming tools. The project provides a structured curriculum that guides learners from having no programming experience to building fully functional AI-integrated applications. Instead of focusing only on theoretical concepts, Easy-Vibe emphasizes practical, step-by-step tutorials that demonstrate how to transform product ideas into working software using modern AI coding tools and development workflows. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 20
    mruby

    mruby

    Lightweight Ruby

    mruby is a lightweight implementation of the Ruby programming language designed for embedding and integration into applications, particularly in resource-constrained environments such as embedded systems or game engines. It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Numba CUDA Target

    Numba CUDA Target

    The CUDA target for Numba

    Numba CUDA Target is NVIDIA’s maintained CUDA backend for the Numba JIT compiler, enabling developers to write GPU-accelerated code directly in Python. It allows users to define CUDA kernels using Python syntax, which are then compiled into efficient GPU code at runtime using LLVM-based toolchains. This approach significantly lowers the barrier to entry for GPU programming by eliminating the need to write CUDA C++ while still delivering high performance. The project supports the SIMT...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Vavr

    Vavr

    Object-functional library that runs with Java 8+

    Vavr core is a functional library for Java. It helps to reduce the amount of code and to increase the robustness. A first step towards functional programming is to start thinking in immutable values. Vavr provides immutable collections and the necessary functions and control structures to operate on these values. The results are beautiful and just work. The Vavr binaries can be found on Maven Central. Beside with Gradle and Maven they work also standalone. The documentation gives an overview...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    ReactPHP Promise

    ReactPHP Promise

    Promises/A implementation for PHP.

    ReactPHP Promise is a PHP library that implements Promises/A+ for asynchronous programming. It allows developers to handle asynchronous operations in a structured and predictable way. ReactPHP Promise makes it easier to manage non-blocking tasks, such as HTTP requests or file I/O, by providing a chainable interface for handling success and error cases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Rocket.jl

    Rocket.jl

    Functional reactive programming extensions library for Julia

    Rocket.jl is a Julia package for reactive programming using Observables, to make it easier to work with asynchronous data. Rocket.jl has been designed with a focus on performance and modularity.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB