Explore projects

Computer language processing

A test project for... Tests!

Fluid version of FENNECS.

Interpolation using splines

SCDDS (Simulink-based Control Design and Deployment Suite)

2D PIC code used at SPC for simulation of trapped electron clouds in Penning like traps. General electrode geometries are simulated using web-splines method. Poisson solver is based on finite element methods. Electron collisions against a uniform roo

Asynchronous version of the VEGA radiotelescope APM

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

Proof assistant based on first-order logic and set theory

Interface to VEGA radiotelescope. Operated by Callista