• $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
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    The mesh programming language is a universal styling language that utilizes the Java framework. It contains many novel features, rigorous type checking, and integrated extendability.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    The MinCaml Compiler

    *** Moved to http://github.com/esumii/min-caml ***

    *** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Mira is a new programming language with a C like syntax. It borrows heavily from other poplar languages and has the design goals of intuitiveness,compiler extensibility, practical functional programming and great tool support.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Modeler is a new pure object-oriented programming language introduced by Mahdi Cheraghchi Bashi Astaneh. Modeler has evolved the concept of object-oriented programming by introducing a more abstract and formal concept of object classes, called Model.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5
    The MultiLevel Compiler allows mixing of High- and Low- level features in a single programming language while using a simplistic syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The purpose of the project was to serve as a testbed for compiler technology. Currently there is a PEG parser generator and a C99 preprocessor in C.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    New object-oriented programming language based on Java, with the following advanced features: parametric types, anonymous functions, multi-methods, tuples, optional parameters. Nice also detects more errors during compilation (null pointers, casts).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Nine is a programming language based loosely on Python that strives to achieve the same level of writability without sacrificing runtime efficiency.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    orca is yet another script language which supports OO & distribute processing & functional programming aspects. And It's useful in string processing with decode statements & regular expression in it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10
    PCL-Compiler is a compiler for PCL: a simple Pascal-derived programming language, used for teaching compiler technology in the National Technical University of Athens.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The Panini Language

    The Panini Language

    Better Modularity, Better Concurrency

    This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of common concurrency hazards. Panini is simple and efficient. We invite you to try it out. Downloads are available from http://paninij.org/download/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    C++ STL-based parser toolkit that allows the specification of EBNF-like grammars (using operator overloading) and the conversion of arbitrary input (text, tokens or other) to user-defined structures through events attached to grammatic rules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Tepal was originally going to become an uber OO language, but during my tinkering I feel that it would be more appropriate for Tepal to become more of a meta language, allowing you to describe common development tasks in a simplified and common way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Project for a coherent minimal set of tools, in a source code of small size using Pliant language (that focuses on pertinent indications, although allowing programmer's intervention at any level of abstraction and any general rule explicit breaking)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Pluk is a programming language. Something i am building because i want a compiled java/c# variant.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The Ptolemy Language
    Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Q is a programming language with a Lisp-like syntax, but is oriented toward component programming and compiled and interpreted usage, with an emphasis on cooperation with other modern language environments.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The QPascal Project is an endeavour to produce a new generation of development tools based on the object-oriented programming language QPascal. Its goal is to create a compiler, linker, debugger, assembler, and eventually an extensive and extensible IDE.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Que is a queue-based programming language, very different from other programming languages. Due to the nature of a queue, programs made in Que are automatically parallelized, meaning improved efficiency in multi-core environments.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    The Register Description Language (RDL) is an object modeling language used to specify and implement software accessible hardware registers and memories. A RDL compiler can create synthesizable HDL, documentation, driver code, system-c models, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    The SUIF2 Compiler Infrastructure.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Seed is probably best thought of as an single-address-space, linear-object-based, native, persistent operating system with event-based pre-emptive-multitasking, but without anything resembling a traditional kernel or filesystem.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Swift is a virtual machine that aims to be fast, simple, and generic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    An object-oriented language that compiles to native code, for POSIX and Windows systems. Requires Expat, GCC, as well as MinGW/Msys for Windows. Compiler generates C++ code but manages various tasks that C++ leaves to programmers, provides interfaces, gc
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB