Select a tag to browse associated projects and drill deeper into the tag cloud.
GNU Compiler Collection
Claimed by GNU Analyzed about 17 hours ago
The GNU Compiler Collection includes front ends for C, C++, Objective-C, Fortran, Java, and Ada, as well as libraries for these languages (libstdc++, libgcj,...).
Licenses:
gpl3_or_l...
The LLVM Compiler Infrastructure
Claimed by The LLVM Project Analyzed about 17 hours ago
Licenses:
No declared licenses
Rust (programming language)
Claimed by Mozilla Foundation Analyzed about 10 hours ago
Rust is a systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races.
It provides both high-level features and low-level control: algebraic data types, pattern matching, closures, type inference, zero-cost abstractions, guaranteed memory safety
Licenses:
apache_2, mit
LLVM D Compiler
L
Analyzed about 4 hours ago
LLVM Compiler for the D programming Language, is based on the DMD 1.0 / 2.0 frontend and uses LLVM as backend.
Licenses:
Artistic_..., GNU_Gener...
Modula-2 R10
M
No analysis available
Modula-2 R10 language specification, grammar, syntax diagrams, standard library and reference compiler. The library is written in Modula-2. The reference compiler is written in C and it targets C and LLVM to allow bootstrapping on a wide range of architectures and operating systems.
Mostly written in language not available
Licenses:
No declared licenses
Emscripten
Claimed by Mozilla Foundation Analyzed 1 day ago
Emscripten is an LLVM-to-JavaScript compiler. It takes LLVM bitcode (which can be generated from C/C++, using llvm-gcc or clang, or any other language that can be converted into LLVM) and compiles that into JavaScript, which can be run on the web (or anywhere else JavaScript can run).
Portable Computing Language
P
Analyzed 2 days ago
Portable OpenCL is an open source implementation of the OpenCL standard which can be easily adapted for new targets. One of the goals of the project is improving performance portability of OpenCL programs, avoiding the need for target-dependent manual optimizations. A "native" target is included
DIVINE
Analyzed 7 months ago
DIVINE is a modern explicit-state model checker. Building on high-performance algorithms and data structures, it offers unparalleled versatility, scaling from a typical developer’s laptop, up to a high-end compute cluster. What more, it can verify a wide range of languages, including C and C++.
Licenses:
bsd_2clau...
shedskin
S
Analyzed 9 days ago
Shed Skin is an experimental compiler, that can translate pure, but implicitly statically typed Python programs into optimized C++. It can generate stand-alone programs or extension modules that can be imported and used in larger Python programs.
Besides the typing restriction, programs cannot
Licenses:
gpl3_or_l...
