Select a tag to browse associated projects and drill deeper into the tag cloud.
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 13 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 1 day 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
Analyzed over 3 years ago
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.
Licenses:
No declared licenses
Emscripten
Claimed by Mozilla Foundation Analyzed about 3 years 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 1 day 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
Objective Modula-2
No analysis available
Object oriented Modula-2 compiler with Smalltalk/Objective-C derived language extensions for native support of Cocoa and GNUstep. Targets C and LLVM. Work in progress. BSD style license.
Mostly written in language not available
Licenses:
bsd
DIVINE
Analyzed 1 day 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 about 2 hours 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...
