Eclipse plug-in for making nordic nrf51822 projects
The Open Source Software Development Life Cycle
Example of my code
Open Source Reporting & Data Visualization Platform
A framework to capture and analyse interactive proof process
Similarity, Comparative genomic, Visualization, Eclipse RCP, SimiTri
Seq: Gestore di processi sequenziali con esecuzione da smartphone
FIBEX format viewer and navigator
Write Report,Read Multiple Notepad,pdf,Word,Design Logo and picture
A simulation environment for physiology models simulation
CMake Managed Build Support for the Eclipse CDT
Custom firmware and IDE for the VEX Cortex Microcontroller
Free report server for creating data-driven apps
Distributed forums
Tic-Tac-Toe (X and O)
Ontology CASE Tool - Cartographie des connaissances et ontologies
SASyLF is an proof assistant for reasoning about programs.