A collection of machine-checkend mathematical proofs
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
MACE is a Mathematical program for Algorithms, Calculations, Equations
Application web de suivi SIO
Probabilistic Risk Assessment Tool
Data structures and Algorithms library
Speedcoin [SPD] - Your Global Digital Internet Currency
Turing and Post Machines' C++ Simulators
Move to https://github.com/sxyzccr/CCR-Plus
A ROS package to remotely control the Parrot AR Drone 2.0
Lightweight and fast music player
A system for computer algebra and symbolic mathematics
Algorithmic Variations
it is a php based webform that interprets HTML and CSS code instantly.
Cross-platform Math Game using libGDX framework.
The program enables to get performance of C/C++ program for any metric
Cloud storage class, open source software.
A tiny, fast encryption tool in C
code for convex formulation of radius-margin based SVM
Aplicación de escritorio para la administración de guarderías