gcj-4.9-source

GCJ java sources for use in IDEs like eclipse and netbeans

These are the java source files packaged as a zip file for use in development environments like eclipse and netbeans.

gobjc++-4.9-multilib

GNU Objective-C++ compiler (multilib support)

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler.

gobjc++-4.9

GNU Objective-C++ compiler

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

stun-client

Test client for STUN

The STUN protocol (Simple Traversal of UDP through NATs) is described in the IETF RFC 3489, available at http://www.ietf.org/rfc/rfc3489.txt. It's used to help clients behind NAT to tunnel incoming calls through. This server is the counterpart to help the client identify the NAT and have it open the proper ports for it.

libcoq-mathcomp-abel

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library.

python3-phply

PHP parser written in Python 3 using PLY

phply is a parser for the PHP programming language written using PLY, a Lex/YACC-style parser generator toolkit for Python. With this parser you can: - Convert PHP code to Python - Run PHP templates in a Python environment - Learn more about parsing "industrial" languages, warts and all