List of compilers Science Telecommunications 464 pasar.pts-ptn.net

This page is intended to list all current compilers, compiler generators, interpreters, translators, tool foundations, etc.

Ada compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
Aonix Object Ada	Atego	Yes	Yes	Yes	Proprietary	Eclipse
GCC GNAT	GNU Project	Yes	Yes	No	GPL	GPS, Eclipse
Irvine Compiler	Irvine Compiler Corporation			Yes	Proprietary	No
IBM Rational Apex	IBM	Yes	Yes	Yes	Proprietary	Yes
A#		Yes		Yes	GPL	No

ALGOL compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
ALGOL 60	RHA (Minisystems) Ltd	No	No	DOS, CP/M	Free for personal use	No
ALGOL 68G (Genie)	Marcel van der Veer	Yes	Yes	Various	GPL	No
Persistent S-algol	Paul Cockshott	Yes	No	DOS	Copyright only	Yes

BASIC compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
BaCon	Peter van Eerten	No	Yes	?	Open Source	Yes
BBC Basic for Windows	Richard T Russel	Yes	No	No	Shareware	Yes
BlitzMax	Blitz Research	Yes	Yes	No	Proprietary	Yes
Chipmunk Basic	Ronald H. Nicholson, Jr.	Yes	Yes	Yes	Freeware	Open
CoolBasic	Spywave	Yes	No	No	Freeware	Yes
DarkBASIC	The Game Creators	Yes	No	No	Proprietary	Yes
DoyleSoft BASIC	DoyleSoft	Yes	No	No	Open Source	Yes
FreeBASIC	FreeBASIC Development Team	Yes	Yes	DOS	GPL	No
Gambas	Benoît Minisini	No	Yes	No	GPL	Yes
GLBasic	Dream Design Entertainment	Yes	Yes	Linux, OSX, iOS, WinCE, Android, WebOS, Pandora	Proprietary	Yes
Just BASIC	Shoptalk Systems	Yes	No	No	Freeware	Yes
KBasic	KBasic Software	Yes	Yes	No	Open source	Yes
Liberty BASIC	Shoptalk Systems	Yes	No	No	Proprietary	Yes
NBasic	SylvaWare	Yes	No	No	Freeware	No
PowerBASIC	PowerBASIC, Inc.	Yes	No	DOS	Proprietary	Yes
PureBasic	Fantaisie Software	Yes	Yes	Yes	Proprietary	Yes
QB64	Galleon	Yes	Yes	?	LGPL	Yes
QuickBASIC	Microsoft	No	No	DOS	Proprietary	Yes
RapidQ	William Yu	Yes	Yes	Yes	Freeware	Yes
Realbasic	Real Software	Yes	Yes	Yes	Proprietary	Yes
Visual Basic	Microsoft	Yes	No	DOS	Proprietary	Yes

C compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
AMPC	Axiomatic Solutions Sdn Bhd	Yes	Yes	Yes	Proprietary	Yes
Aztec C	Manx Software Systems	No	No	Yes CP/M, CP/M-86, MS-DOS	Proprietary	No
Amsterdam Compiler Kit	Andrew Tanenbaum and Ceriel Jacobs	No	Yes	Yes	BSD	No
CCS C Compiler	CCS, Inc.	Yes	Yes	Yes	Proprietary	Yes
Ch	SoftIntegration, Inc	Yes	Mac OS X, FreeBSD, Linux, Solaris, HP-UX, AIX, Qnx	Yes	Freeware	Yes — Professional and Student versions only
Clang	LLVM Project	Yes	Yes	Yes	BSD	No
CParser/libFirm	Matthias Braun, Christoph Mallon and Michael Beck	Yes	Yes	Yes	GPL	No
Digital Mars	Digital Mars	Yes	No	No	?	No
Dignus Systems/C	Dignus, L.L.C	Yes (host)	Yes (host)	Yes Z/Architecture	Proprietary	No
GCC C	GNU Project	Mingw, Cygwin	Yes	Yes IBM mainframe, AmigaOS, VAX/VMS, RTEMS	GPL	No
IAR C/C++ Compilers	IAR Systems	Yes	No	No	Proprietary	Yes
Interactive C	KISS Institute for Practical Robotics	Yes	Unix, Mac, Linux, IRIX, Solaris, SunOS	No	Freeware	No
LabWindows/CVI	National Instruments	Yes	Yes	Yes	Proprietary	Yes
lcc	Chris Fraser and David Hanson	Yes	Yes	Yes	Freeware (source code available for non-commercial use)	Windows only
Mark Williams C	Mark Williams Company	Yes	Coherent	Yes	Proprietary	Yes
MikroC Compiler	MikroElektronika, Inc.	Yes	Yes	Yes	Proprietary	Yes
Nwcc	Nils Weller	No	Yes	No	BSD	No
Open64	AMD SGI Google HP Intel Nvidia PathScale Tsinghua University and others	No	Yes	Yes	GPL	No
Open Watcom	Sybase and SciTech Software	Yes	Yes Linux	Yes OS/2, MS-DOS	Sybase Open Watcom Public License	Yes Windows only?
Pelles C	Pelle Orinius	Yes	No	No	Freeware	Yes
PGCC	The Portland Group	Yes	Yes	?	Proprietary	Yes — Visual Studio on Windows
Portable C Compiler	Stephen C. Johnson, Anders Magnusson and others	Yes	Yes	Yes	BSD	No
Power C	Mix Software	No	No	Yes	Proprietary	No
QuickC	Microsoft	Yes	No	No	Proprietary	Yes
RCC (RCOR C Compiler)	Rodrigo Caetano (rcor)	Yes	Yes	No	GPL	No
Ritchie C Compiler (PDP-11)	Dennis Ritchie and John Reiser; converted to cross-compiler by Doug Gwyn	Yes	Yes	Yes	Freeware	No
SAS/C	SAS Institute	Yes	Yes	Yes IBM mainframe, AmigaOS, 68K, 88K	Proprietary	Yes
Small-C	Ron Caine, James E. Hendrix, Byte magazine	Yes	Yes	Yes CP/M MS-DOS	Public Domain	Yes
Small Device C Compiler	Sandeep Dutta and others	Yes	Yes	?	GPL	No
SubC	Nils M Holm	No	FreeBSD, NetBSD, Linux	No	Public Domain	No
Tiny C Compiler	Fabrice Bellard	Yes	Yes	No	LGPL	No
(Borland) Turbo C	Embarcadero	Yes	No	Yes	Proprietary - V 2.01 freely available	Yes
ups debugger (includes C interpreter)	Tom Hughes, Ian Edwards, and others	No	Yes	Yes Solaris, SunOS	GPL	Yes
VBCC	Dr. Volker Barthelmann	Yes	Yes	Yes	Freeware (source code available, modification not allowed)	No
Visual C++ Express	Microsoft	Yes	No	No	Freeware	Yes
XL C	IBM	No	AIX, Linux	No	Proprietary	Eclipse

C++ compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
C++ Builder	Embarcadero (CodeGear)	Yes	No	?	Proprietary	Yes
AMD x86 Open64 Compiler Suite	AMD	No	Yes	No	GPLv2/LGPLv2.1	No
Turbo C++ Explorer	Embarcadero (CodeGear)	Yes	No	No	Freeware	Yes
C++ Compiler	Embarcadero (CodeGear)	Yes	No	No	Freeware	No
CINT	CERN	Yes	Linux	BeBox, DOS, Convex, etc.	X11/MIT	Yes
Borland C++	Borland (CodeGear)	Yes	No	DOS	Proprietary	Yes
Turbo C++ for DOS	Borland (CodeGear)	No	No	DOS	Proprietary	Yes
Clang	LLVM Project	Yes	Yes	Yes	BSD-like	Xcode
CodeWarrior	Metrowerks	Yes	Yes	Yes	Freeware	Yes
Comeau C/C++	Comeau Computing	Yes	Yes	Yes	Proprietary	No
CoSy compiler development system	ACE Associated Compiler Experts	Yes	Yes	No	Proprietary	No
Digital Mars	Digital Mars	Yes	No	DOS	Proprietary	No
EDGE ARM C/C++	Mentor Graphics	Yes	Yes	Yes	Proprietary	Yes
GCC	GNU Project	Mingw, Cygwin	Yes	Yes	GPLv3	Xcode, Kdevelop, Eclipse, NetBeans, Code::Blocks
HP aC++	Hewlett-Packard	No	Yes	No	Proprietary	No
IAR C/C++ Compilers	IAR Systems	Yes	No	No	Proprietary	Yes
Intel C++ Compiler	Intel	Yes	Linux, Mac OS X	No	Proprietary	Yes
KAI C++ Compiler	Kuck & Associates, Inc. (bought by Intel)	No	Digital Unix, HP-UX, Linux for Intel x86, SGI Irix 5.3,SGI Irix 6.x, Solaris 2.x	No	Proprietary	Unknown
Microtec	Mentor Graphics	Yes	Yes	Yes	Proprietary	Yes
MULTI	Green Hills Software	Yes	Yes	Yes	Proprietary	Yes
Open Watcom	Sybase	Yes	Yes	Yes	Sybase Open Watcom Public License	Yes
Open64	HP AMD Tsinghua University and others	No	Yes	No	Modified GPLv2	No
PathScale	PathScale and others	No	Yes	Yes	Mixed (Proprietary&Open Source&GNU General Public License)	No
PGCPP	The Portland Group	Yes	Yes	?	Proprietary	Yes
ProDev WorkShop	Silicon Graphics	No	No	Yes	Proprietary	Yes
RealView C/C++ Compiler (armcc)	Keil (ARM Limited)	Yes	Yes	No	Proprietary	Yes
Salford C++ Compiler	Silverfrost	Yes	No	No	Proprietary	Yes
SAS/C C++	SAS Institute	Windows NT/95	AIX, Solaris/SunOS, Linux	IBM mainframe, DOS	Proprietary	No
Systems/C,C++	Dignus	Yes	Linux	No	Proprietary	Yes
Solaris Studio	Oracle	No	Linux, Solaris	No	Proprietary	Yes
Solaris Studio Express	Oracle	No	Linux, Solaris	No	Freeware	Yes
TenDRA	TenDRA Project	No	Yes	No	BSD_License	No
VectorC	Codeplay	Yes	No	No	Proprietary	No
Visual C++	Microsoft	Yes	No	No	Proprietary	Yes
VisualAge C++	IBM	Yes	AIX, Linux	OS/2	Proprietary	Yes
XL C/C++	IBM	No	Linux (POWER and Cell) and AIX	BlueGene and VM	Proprietary	Eclipse
Wind River (Diab) Compiler	Wind River Systems	Yes	Yes	Yes	Proprietary	Yes

C# compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
Microsoft Visual C#	Microsoft	Yes	No	No	Proprietary	Yes
Microsoft Visual C# Express	Microsoft	Yes	No	No	Freeware	Yes
Mono	Xamarin	Yes	Yes	Yes	GPLv2	Yes
Portable.NET	Dot Gnu Project	Yes	Yes	No	GPL	?

COBOL compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
COBOL	IBM	Yes	AIX	z/OS and z/VM	Proprietary	Eclipse
OpenCOBOL	Roger While, Keisuke Nishida	Yes	Yes	Yes	GPL	No
Visual COBOL	Microfocus	Yes	Yes	Yes	Proprietary	Yes
RainCode COBOL	RainCode	Yes	No	No	Proprietary	Yes

Common Lisp compilers

Compiler	Author	Target	Windows	Unix-like	Other OSs	License type	IDE?
Allegro Common Lisp	Franz, Inc.	Native code	Yes	Yes	Yes	Proprietary	Yes
Armed Bear Common Lisp		JVM	Yes	Yes	Yes	GPL	Yes
CLISP		Bytecode	Yes	Yes	Yes	GPL	No
Clozure CL	Clozure Associates	Native code	Yes	Yes	No	LGPL	Yes
CMU Common Lisp		Native code, Bytecode	No	Yes	No	Public Domain	Yes
Corman Common Lisp		Native code	Yes	No	No	Proprietary	Yes
Embeddable Common Lisp		Bytecode, C	Yes	Yes	Yes	LGPL	Yes
GNU Common Lisp		C	Yes	Yes	No	GPL	No
LispWorks	LispWorks Ltd	Native code	Yes	Yes	No	Proprietary	Yes
Open Genera	Symbolics	Ivory emulator	No	Yes	No	Proprietary	Yes
Scieneer Common Lisp	Scieneer Pty Ltd	Native code	No	Yes	No	Proprietary	No
Steel Bank Common Lisp		Native code	Yes	Yes	Yes	Public Domain	Yes

D compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
Digital Mars D (DMD)	Digital Mars and others	Yes	32-bit Linux, Mac OS X, FreeBSD	No	GPL and Artistic	No
D Compiler for .Net	?	Yes	Yes	?	?	?
GDC	GCC	Yes	Yes	No	GPL	No
LDC	LLVM	Yes	Yes	No	Open Source	No

DIBOL/DBL compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
Synergy DBL^[1]^[2]^[3]	Synergex	Yes	Yes	Yes	Proprietary	Yes

ECMAScript interpreters

See List of ECMAScript engines.

Eiffel compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
EiffelStudio	Eiffel Software / Community developed (sourceforge)	Yes	Yes	Yes	Dual GPL / Proprietary	Yes

Felix compilers

Compiler	Author	Unix-like	Other OSs	License type	IDE?
Felix	John Skaller	Yes	Yes	Open Source	No

Fortran compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
Solaris Studio	Sun Microsystems, Inc.	No	Linux and Solaris	No	Proprietary	No
PGFORTRAN	The Portland Group	Yes	Linux only	Yes	Proprietary	Yes — Visual Studio on Windows
PathScale Compiler Suite	SiCortex	No	Linux only	No	Proprietary	Yes
Absoft Pro Fortran	Absoft	Yes	Linux and Mac OS X	Yes	Proprietary	Yes
G95	Andy Vaught	Yes	Yes	Yes	GPL	No
GFortran	GNU Project	Yes	Yes	Yes	GPLv3	Yes — Photran (part of Eclipse)
Intel Fortran Compiler	Intel	Yes	Linux and Mac OS X	No	Proprietary	Yes (plugins) — Visual Studio on Windows, Eclipse on Linux, XCode on MAC.
Lahey Fortran	Lahey Computer Systems, Inc.	Yes	Linux only	No	Proprietary	No
Open64	Google, HP, Intel, Nvidia, PathScale, Tsinghua University and others	Yes	Yes	Yes	GPL	No
FTN95	Silverfrost	Yes	No	No	Proprietary	Yes
NAG Fortran Compiler	Numerical Algorithms Group	Yes	Yes	No	Proprietary	Yes
VS Fortran	IBM	No	No	z/OS and z/VM	Proprietary	Eclipse
Force	Lepsch	Yes	No	No	Free	Yes
XL Fortran	IBM	No	Linux (POWER and Cell) and AIX	BlueGene	Proprietary	Eclipse

Haskell compilers

HaskellWiki maintains a list of Haskell implementations. Many of them are compilers.

Compiler	Author	Windows	Unix-like	Other OSs	License type	Actively maintained?
HBC	Lennart Augustsson Thomas Johnsson	?	Yes	No	Open source	No
GHC	GHC	Yes	Yes	No	Open source	Yes
NHC	Niklas Röjemo	Yes	Yes	No	Open source	No
YHC	YHC	Yes	Yes	No	Open source	No
JHC	John Meacham	Yes	Yes	No	Open source	Yes

Java compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
GNU Java	GNU Project	No	Yes	No	GPL	No
Javac	Sun Microsystems (Owned by Oracle)	Yes	Yes	Yes	GPL	No
S.N Java Compiler	SN Ink. (Owned by S.N)	Yes	No	No	Free	No
ECJ (Eclipse Compiler for Java)	Eclipse project	Yes	Yes	Yes	EPL	Yes

Pascal compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
Amsterdam Compiler Kit	Andrew Tanenbaum and Ceriel Jacobs	No	Yes	Yes	BSD	No
Embarcadero Delphi	Embarcadero (CodeGear)	Yes	No	?	Proprietary	Yes
Delphi Prism	RemObjects	Yes	Yes	Yes	Proprietary	Yes
FrameworkPascal	Framework Computers, Inc.	Yes	No	Yes (MS-DOS)	Proprietary	Yes
Free Pascal	Florian Paul Klämpfl	Yes	Yes	Yes (OS/2, FreeBSD, Solaris, Haiku, etc.)	GPL	FPIDE & Lazarus
Irie Pascal	Irie Tools Limited	Yes	Yes	No	Proprietary	Yes
GNU Pascal	GNU Project	Yes	Yes	Yes	GPL	No
Kylix	Borland (CodeGear)	No	Yes (Linux)	No	Proprietary	Yes
Turbo Pascal for Windows	Borland (CodeGear)	Yes (3.x)	No	No	Proprietary	Yes
Microsoft Pascal	Microsoft	No	No	Yes (MS-DOS)	Proprietary	Yes
HP Pascal	Hewlett-Packard	No	No	Yes (OpenVMS)	Proprietary	Unknown
Turbo Pascal	CodeGear (Borland)	No	No	Yes	Freeware	Yes
Vector Pascal	Glasgow University	Yes	Yes	No	OpenSource	No
Virtual Pascal	Vitaly Miryanov and Allan Mertner	Yes	Yes (Linux)	Yes (OS/2)	Freeware	Yes
WDSibyl	Wolfgang Draxler and Speed-Soft	Yes	No	Yes (OS/2)	GPL	Yes

PL/I compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
IBM Enterprise PL/I		Yes	No	Yes (z/OS)	Proprietary	No
IBM PL/I(F)		No	No	Yes	Free	No
Multics PL/I		No	No	Yes	Modified MIT^[4]	No
Iron Spring PL/I		No	Yes	Yes (OS/2)	Proprietary	No
Kednos PL/I		No	Yes	Yes (Open VMS)	Proprietary	No
RainCode PL/I	RainCode	Yes	No	No	Proprietary	Yes

Python compilers

Compiler	Author	Target	Windows	Unix-like	Other OSs	License type	IDE?
Psyco	Armin Rigo, Christian Tismer	JIT	Yes	Yes	Yes	MIT	No
cython		C	Yes	Yes	Yes	Apache License 2.0	No
Shedskin		C++	Yes	Yes	Yes	GPLv3 and BSD	No
PyPy		JIT	Yes	Yes	Yes		No

Scheme compilers and interpreters

Compiler	Author	Target	Windows	Unix-like	Other OSs	License type	IDE?
Bigloo	?	?	?	?	?	?	No
Chez Scheme	Kent Dybvig	native	Yes	Yes	?	Proprietary	No
Chicken Scheme	?	C	Yes	Yes	Yes	BSD	No
Common Larceny	?	CLI	Yes	?	?	?	No
Larceny	?	native	Yes	Yes	Yes	?	No
Gambit	Marc Feeley	C	Yes	Yes	Yes	LGPL	No
GNU Guile	GNU Project	bytecode	?	Yes	?	LGPL	No
Ikarus Scheme	?	?	?	?	?	?	No
IronScheme	?	CLI	?	?	?	?	No
JScheme	?	bytecode	?	?	?	?	No
Kawa	?	bytecode	?	?	?	?	No
MIT/GNU Scheme	?	?	?	?	?	?	No
Owl Lisp	?	?	?	?	?	?	No
Oxygen Scheme	?	?	?	?	?	?	No
Petit Larceny	?	C	?	?	?	?	No
PVTS	?	?	?	?	?	?	No
Racket	PLT Inc.	bytecode + JIT	Yes	Yes	Yes	LGPL	DrRacket
RScheme	?	?	?	?	?	?	No
#S	?	CLI	?	?	?	?	No
Scheme 48	Richard Kelsey, Jonathan Rees	bytecode	Yes	Yes	?	BSD	No
SCM	?	?	?	?	?	?	No
Stalin	?	?	?	?	?	?	No

Interpreter	Author	Target	Windows	Unix-like	Other OSs	License type	IDE?
Elk Scheme	?	?	?	?	?	?	?
Gauche	?	?	?	?	?	?	?

Smalltalk compilers

Compiler	Author	Target	Windows	Unix-like	Other OSs	License type	IDE?
Smalltalk MT	ObjectConnect	native	Yes	No	No	Proprietary	Yes
GNU Smalltalk	GNU Smalltalk project	bytecode + JIT	Yes	Yes	No	GPL	No
Smalltalk YX	Luca Bruno	?	Yes	Yes	Yes	MIT License	No

CLI compilers

Compiler	Author	Windows	Unix-like	Other OSs	License type	IDE?
Microsoft Visual Studio	Microsoft	Yes	No	No	Proprietary	Yes
Mono	Mono	Yes	Yes	No	Open source	Yes
Delphi Prism	RemObjects	Yes	Yes	Yes	Proprietary	Yes
Portable.NET	Dot Gnu Project	Yes	Yes	No	Open source	Unknown
ILDJIT	Simone Campanoni	No	Yes	No	GPLv2	No

Open source compilers

Production quality, open source compilers.

The Plan 9 compiler collection by Ken Thompson
Amsterdam Compiler Kit (ACK) [C, Pascal, Modula-2, Occam, and BASIC] [Unix-like]
Clang C/C++/Objective-C Compiler
FreeBASIC [Basic] [DOS/Linux/Windows]
Free Pascal [Pascal] [DOS/Linux/Windows(32/64/CE)/MacOS/NDS/GBA/..(and many more)]
Roadsend PHP [PHP 5] [Linux, FreeBSD, Windows, Mac OS X]
GCC [C, C++ (G++), Java (GCJ), Ada (GNAT), Objective-C, Objective-C++, Fortran (GFortran), and Go (GCCGo). Also available, but not in standard are: Modula-2, Modula-3, Pascal, PL/I, D, Mercury, VHDL] [Linux, the BSDs, Mac OS X, NeXTSTEP, Microsoft Windows and BeOS, among others]
Local C compiler [C] [Linux, SPARC, MIPS]
The LLVM Compiler Infrastructure which is also frequently used for research
Portable C Compiler [C] [Unix-like]
Open Watcom [C, C++, and Fortran] [Windows and OS/2, Linux/FreeBSD WIP]
TenDRA [C/C++] [Unix-like]
Tiny C Compiler [C] [Linux, Windows]
S7c - A compiler for Seed7 (extensible language with many advanced features). Generates C code for GCC, Visual C or Borland C, Supports portable programs for Linux, Windows, Mac OS X, Unix and BSD.
libJIT Just-In-Time compilation library, a library by Rhys Weatherley, Klaus Treichel, Aleksey Demakov, and Kirill Kononenko for development of Just-In-Time compilers (JIT) in Virtual Machine implementations, Dynamic programming languages, and Scripting languages.
Open64, supported by AMD on Linux.
XPL PL/I dialect (several systems)

Research compilers

Research compilers are mostly not robust or complete enough to handle real, large applications. They are used mostly for fast prototyping new language features and new optimizations in research areas.

Open64: one of the most popular research compilers today, many branches exist. Here is a list of research papers from the CGO 2009. (Open64 merges the open source changes from the PathScale compiler mentioned.)
ROSE compiler framework: an open source compiler framework to generate source-to-source analyzers and translators for C/C++ and Fortran, developed at Lawrence Livermore National Laboratory
Polaris compiler for Fortran
- Cetus for C/C++, successor of Polaris compiler
MILEPOST GCC: interactive plugin-based open-source research compiler that combines the strength of GCC and the flexibility of the common Interactive Compilation Interface that transforms production compilers into interactive research toolsets.
Programming Without Coding Technology (PWCT) A specialist innovative technology wherein the programmer need not write code but can visually specify every functional aspect of the program similar to flowcharts and algorithms. PWCT include (Mahmoud Programming Language, RPWI Environment & DoubleS [Super Server] Programming Paradigm).PWCT is free-open source. PWCT uses Interaction by presenting a GUI between a Human language and a Programming language so doing anything require knowing Procedure instead of being Declarative.
Interactive Compilation Interface - a plugin system with high-level API to transform production-quality compilers such as GCC into powerful and stable research infrastructure while avoiding developing new research compilers from scratch.
SUIF: inactive since 2001
- MACHINE SUIF a branch focusing on machine-specific analyses and optimizations
PIPS: a source-to-source compiler framework with a Fortran 77, Fortran 95 and C front-end, focussing on advanced analyses and transformations.
OpenIMPACT Compiler
Phoenix optimization and analysis framework by Microsoft
Very Portable Optimizer (VPO) from the University of Virginia
COINS compiler infrastructure
Trimaran for research in instruction-level parallelism
Parafrase-2 Inactive. It is a source-to-source vectorizing/parallelizing compiler, with Fortran and C front-ends.
- The PARADIGM compiler. Derived from Parafrase-2, it is a source-to-source research compiler for distributed-memory multicomputers for Fortran 77 and HPF.
MLton standard ML compiler (SML compiler)
Jikes Research Virtual machine(RVM): a research compiler for Java
Soot: a Java Optimization framework
The Scale compiler
HotpathVM: a Java virtual machine using a trace-based just-in-time compiler
ILDJIT: a compilation framework that targets the CIL bytecode that includes both static and dynamic compilers. ILDJIT provides a plugin-based framework for static, as well as dynamic tasks like code translations, code analysis, code optimizations, runtime instrumentation and memory management. Its plugin-based framework allows users to easily customize execution both at installation time, as well as at run-time (by dynamically loading and unloading plugins without perturbing execution). ILDJIT thus enables efficient co-design research at the architectural-boundary. Moreover, its multi-threaded design allows novel introspection of parallel compilation strategies to reduce overheads and dynamically optimize running code on today's x86 multi-core systems.

List of compilers

Contents