Eclipse integration for Isabelle proof assistant
A java-based interceptor for SSL/TLS protocol
Base64 encoder and decoder.
Compilador de lenguaje de programación C online
efficient data generation for benchmarks and performance analysis
Library for optimization using a genetic algorithm or particle swarms
A implemetacion of EntityFramework and Dynamic Data Web sites with PHP
Gamification of source code and wikis to improve documentation quality
Access to Irrlicht Engine SDK from assembler, C, Python, Basic, Pascal