Select a tag to browse associated projects and drill deeper into the tag cloud.
GDC — D Programming Language for GCC
G
Analyzed 24 days ago
GDC is a D language front end for the GNU Compiler Collection. It supports a number of targets and nearly all features of Digital Mars D.
Licenses:
gpl
CHICKEN Scheme
Analyzed 24 days ago
CHICKEN is a compiler for the Scheme programming language. CHICKEN produces portable, efficient C, supports almost all of the R5RS language standard and includes many enhancements and extensions.
Licenses:
BSD-3-Clause
TypeScript
Claimed by Microsoft Analyzed 25 days ago
TypeScript is a language for application-scale JavaScript. TypeScript adds optional types, classes, and modules to JavaScript. TypeScript supports tools for large-scale JavaScript applications for any browser, for any host, on any OS. TypeScript compiles to readable, standards-based JavaScript. Try
Licenses:
apache_2
KBabel
K
Claimed by KDE Analyzed 24 days ago
KBabel is a set of tools for editing and managing gettext PO files. Main part is a powerful and comfortable PO file editor which features full navigation capabilities, full editing functionality, possibility to search for translations in different dictionaries, spell and syntax checking, showing
EiffelStudio
Analyzed 24 days ago
EiffelStudio is an IDE for the Eiffel language (ECMA-367, ISO/IEC 25436, and ACM Software System Award 2006).
It includes:
* Eiffel compiler
* Eiffel GUI editor
* Eiffel code browsing tool
* Eiffel diagram editor with round-trip,
* Eiffel refactoring tool
* Eiffel debugger
* Eiffel
Licenses:
eiffel_2, gpl
jogl
Analyzed 25 days ago
The JOGL project hosts the development version of the Java™ Binding for the OpenGL® API, and is designed to provide hardware-supported 3D graphics to applications written in Java.
JOGL provides full access to the APIs in the OpenGL 1.3 - 3.0, 3.1 - 3.3, ≥ 4.0, ES 1.x and ES 2.x specification as
Clozure Common Lisp
Analyzed 24 days ago
Clozure CL (formerly OpenMCL) is an open source Common Lisp implementation that runs on the following platforms:
* Mac OS X 10.4 and later (PowerPC and x86)
* Linux (PowerPC and x86)
* FreeBSD 6.x and later (x86)
* Solaris (x86)
* Microsoft Windows (x86)
Both 32- and 64-bit binaries are included with all ports.
Licenses:
apache_v2
Coq proof assistant
Analyzed 25 days ago
Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows:
* to define functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to
IronPython
I
Analyzed 24 days ago
IronPython is a new implementation of the Python programming language running on .NET. It supports an interactive console with fully dynamic compilation. It is well integrated with the rest of the .NET Framework and makes all .NET libraries easily available to Python programmers, while maintaining
Licenses:
apache_2
PHP Documentation Translations
Analyzed 24 days ago
Part of the PHP Manual. This includes every aspect except the EN/ tree because EN/ is part of the PHP entry here.
So, this module includes all the manual translations and docweb, which is used to manage them.