A collection of machine-checkend mathematical proofs
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
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.
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
list of parallel Algorithms developed in Parallel Algo course
QueLang is a designing tool to use for Questionnaire Design.
From Code2Gether here's the official app.
Learning to Code 2 Gether!