Showing 310 open source projects for "prog programming software"

View related business solutions
  • 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
  • $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
    Programming Language ADP

    Programming Language ADP

    ADP is a script language designed for Web database prgramming.

    ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call.
    Downloads: 25 This Week
    Last Update:
    See Project
  • 2
    PureScript

    PureScript

    A strongly-typed language that compiles to JavaScript

    Compile to readable JavaScript and reuse existing JavaScript code easily. An extensive collection of libraries for development of web applications, web servers, apps and more. Excellent tooling and editor support with instant rebuilds. An active community with many learning resources. Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching. Row polymorphism and extensible records. Higher kinded types and type classes...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Gleam

    Gleam

    A friendly language for building type-safe, scalable systems!

    Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. Hunting down bugs can be stressful so...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Learn Go

    Learn Go

    Master the fundamentals and advanced features of the Go language

    Learn Go is a learning-focused repository built to teach Go from first principles through more advanced language and ecosystem features. It takes a course-like approach, starting with environment setup and the “Hello world” basics, then moving into variables, types, formatting, control flow, and functions. From there, it expands into Go’s practical structure for real projects, including modules, packages, and workspaces, plus useful commands for building and working with programs. The...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    Autocxx

    Autocxx

    Tool for safe ergonomic Rust/C++ interop driven from existing C++

    autocxx is an open source Rust tool and procedural macro designed to enable automatic, safe interoperability between C++ and Rust. It integrates the functionality of bindgen (for parsing and generating Rust bindings from C++ headers) with cxx (for safe and idiomatic Rust–C++ communication), automating the creation of bridges between the two languages. With autocxx, developers can include C++ headers directly in Rust source code and automatically generate bindings for the corresponding C++...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Wuffs

    Wuffs

    Wrangling Untrusted File Formats Safely

    Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    jsii

    jsii

    jsii allows code in any language to naturally interact with JavaScript

    jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase! A class library written in TypeScript can be used in projects authored in TypeScript or Javascript (as usual), but also in C# (and other languages from the .NET family), Go, Java, Python, etc. More languages will be added in the future! Due to JSON marshaling costs and the absence of a distributed...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Pkl

    Pkl

    A configuration as code language with rich validation and tooling

    pkl is a purpose-built configuration-as-code language developed by Apple that combines declarative structure, validation, and tooling to improve over traditional configuration formats like JSON, YAML, or Plists. Its goal is to let you write configuration logic (modules, imports, conditions, defaults) while still producing static outputs suitable for tools that expect JSON, YAML, or other formats. Configurations in Pkl are type-safe and support validation constraints (e.g. bounds, relations)...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    TypeSpec

    TypeSpec

    Language for defining cloud service APIs and shapes

    TypeSpec is a language for defining cloud service APIs and shapes. TypeSpec is a highly extensible language with primitives that can describe API shapes common among REST, OpenAPI, gRPC, and other protocols. TypeSpec is excellent for generating many different API description formats, client and service codes, documentation, and many other assets. All this while keeping your TypeSpec definition as a single source of truth. Using TypeSpec, you can create reusable patterns for all aspects of an...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 10
    CLIPS Rule Based Programming Language
    CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities.
    Leader badge
    Downloads: 805 This Week
    Last Update:
    See Project
  • 11
    The CUE Data Constraint Language

    The CUE Data Constraint Language

    The home of the CUE language. Validate and define text-based config

    CUE is an open source data constraint language which aims to simplify tasks involving defining and using data. CUE merges the notion of schema and data. The same CUE definition can simultaneously be used for validating data and act as a template to reduce boilerplate. Schema definition is enriched with fine-grained value definitions and default values. At the same time, data can be simplified by removing values implied by such detailed definitions. The merging of these two concepts enables...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ELENA Programming Language

    ELENA Programming Language

    an object-oriented language with late binding

    ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized code. The package includes compiler, IDE, ELENA libraries and samples
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 13

    Seagull Programming Language

    A modern programming language which compiles to Fortran.

    Seagull is a modern and fast programming language which transpiles to Fortran. Seagull aims to provide a modern and intuitive ecosystem, tooling, and syntax on top of the Fortran backend, leveraging from its high numerical speed. Seagull is modular, and all functions are grouped into modules. Visit the official website for more information: https://seagull.ct.ws
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Action! Programming Language

    Action! Programming Language

    Action! - The Native Programming Language for Atari 8-bit Computers

    Action! is a programming language for the Atari 8-bit family of microcomputers. It features an integrated editor, a debugger, and a 6502 compiler. Action! was created by Clinton Parker and released on cartridge by Optimized Systems Software (OSS) in 1983. Its syntax is similar to that of ALGOL 68.  Action! is significant for its high performance, which allows games and graphics demos to be written in a high-level language without the use of hand-written assembly language code. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Wikibook Ada Programming
    The Demonstrations Programs for the Wikibook "Ada Programming".
    Downloads: 14 This Week
    Last Update:
    See Project
  • 16
    IElixir

    IElixir

    Jupyter's kernel for Elixir programming language

    Jupyter's kernel for Elixir. You can manage your packages in runtime with Boyle. Name of the package honours remarkable chemist, Robert Boyle. This package allows you to manage your Elixir virtual enviromnent without need of restarting erlang virtual machine. Boyle installs environment into ./envs/you_new_environment directory and creates new mix project there with requested dependencies. It keeps takes care of fetching, compiling and loading/unloading modules from dependencies list of that...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    Xi Programming Language

    A general-purpose, mutliparadigm language.

    Xi is a programming language which attempts to play a similar role to languages such as C, C++, or D. It is initially designed to leverage the procedural and object-oriented paradigms. It aims to provide an expressive language based off of a simple, LL(1) grammar with a comprehensive class library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Jeltz Programming Language

    Jeltz Programming Language

    Jeltz glue programming language, minimal functional, easily embeddable

    Jeltz is a minimal programming language where everything is either a function or an invocation. The goal is to code the interpreter in many languages so that it can be easily embedded. It is useful for task automation and is designed to be extensible. The memory manager uses dynamic scoping; each invocation consists of a module and a method and has an optional body that introduces a new context. Closures are not supported. This is a glue language created for integration and scripting...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Agena

    Agena

    Agena is an interpreted procedural programming language.

    Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.
    Leader badge
    Downloads: 235 This Week
    Last Update:
    See Project
  • 20
    micro(A) Interpreter
    micro(A) is a modern and minimal general purpose open source programming language.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21

    Seed7

    Interpreter and compiler for the Seed7 programming language.

    Interpreter, compiler, libraries, documentation and examples for the Seed7 programming language. Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7...
    Leader badge
    Downloads: 36 This Week
    Last Update:
    See Project
  • 22
    EMal

    EMal

    An easy to read programming language, with english and italian lexemes

    A toy programming language that supports english and italian keywords. It's goal is to be a language for algorithm prototyping, simple enough to be teached to kids.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 23
    ZPLDesigner

    ZPLDesigner

    A Zebra Programming Language (ZPL) IDE with embedded viewer

    ZPLDesigner is a free and easy-to-use software utility that allows you to create, preview and print label based on Zebra Programming Language (ZPL). ZPL commands ZPL Designer can help you to write ZPL code. The left panel provides a list of the main ZPL commands used to design a label. By hovering the mouse pointer over the desired ZPL command, a detailled description will be displayed on the top "Help" panel.
    Leader badge
    Downloads: 35 This Week
    Last Update:
    See Project
  • 24
    Cmajor

    Cmajor

    Cmajor is an experimental programming language.

    Cmajor is an experimental programming language strongly influenced by C++ and C#. It is semantically closer to C++ than C# and syntactically closer to C# than C++.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 25
    OpenPEARL

    OpenPEARL

    PEARL Compiler and Runtime System

    PEARL is a high level procedural programming language, which was especially designed for the demanding need to have an expressive and comfortable language for solving multitasking problems when controlling technincal processes. PEARL is an abbreviation for "(P)rocess and (E)xperiment (A)utomation (R)ealtime (L)anguage". It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime...
    Downloads: 8 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB