Open Source Compilers - Page 68

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.

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/

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.

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.

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.

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.

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.

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.

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.

The SUIF2 Compiler Infrastructure.

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.

Swift is a virtual machine that aims to be fast, simple, and generic.

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

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

Zeta is the name of a project to create a virtual platform to port linux to.

The grinj is a complete suite with compiler, VM and IDE for the language "grinj". it can be used as-is or as basis for your own compiler-VM-IDE-suite.

jpl is a high-level, object-oriented, dynamically typed programming language.

A complete Development Environment for TI calculators

This project is a c++ code weaver, mainly based on open source tools. It may run on every platform supporting c++. Unlike aspectc++, taco join points are some of the control structures encountered in c++.

A collection of language tools based on recursive adaptive grammars (RAGs), built around a general RAG parsing algorithm.

This project contains a library for writing compilers/type systems and toy compilers for small games.

Traceur is a JavaScript.next-to-JavaScript-of-today compiler that allows you to use features from the future today. Traceur supports ES6 as well as some experimental ES.next features. Traceur's goal is to inform the design of new JavaScript features which are only valuable if they allow you to write better code. Traceur allows you to try out new and proposed language features today, helping you say what you mean in your code while informing the standards process. JavaScript's evolution needs your input. Try out the new language features. Tell us how they work for you and what's still causing you to use more boilerplate and "design patterns" than you prefer. You can use some language features right now and even try it out in your browser here. Just type in some code and see what Traceur produces.

TransJVM is a Java package to assist compiler writers targeting the Java Virtual Machine. It provides a simple logical interface for creating JVM classes, expressed in terms of Methods, Fields, Statements and Expressions. JVM details are hidden.

A modular compiler for Tig in C++.