Explore projects

Tools to enforce input and output argument checks in C MEX-files for MATLAB

A test project for... Tests!

Asynchronous version of the VEGA radiotelescope APM

Proof assistant based on first-order logic and set theory

Interface to VEGA radiotelescope. Operated by Callista

SCDDS (Simulink-based Control Design and Deployment Suite)

Tokamak Coordinate Conventions: COCOS

Static deployment for blogarchive on openshift

Interpolation using splines