Assistant for generating Natural Deduction style proofs
Find web application vulnerabilities the easy way!
Free and Open Source Brainwave Entrainment application
Extensible Brainwave Entrainment library for Java
Transforms the computer into a Airplay receiver
A free, open-source, offline Wikipedia application
DPCM DT automates the development of WSN applications
Simplify Struts2 + Hibernate application development
Enhanced Korat supports GUI, FSM, JUNG and JSON.
Converts wikitext documents into HTML documents
CrococryptQuerl is a web-based file encryption & transfer tool
ConvertMAS converts Chemical File Formats mol, mol2 and sdf.
Securly execute untrusted code from within your application.
Java data access and swing binding library
Command line application to generate contact matrix from proteins (3D)
Java API for WS-Pgrade/gUSE
Zikru aims to create an extensible web application
Odoo 8 Server Control for Windows