Plate Tectonics simulator
C library for SED-ML
Travel Market Simulator
An accurate, scalable, and energy-aware simulator for WSNs
Library for spherical harmonic transforms (SHT)
A FDTD solver for electromagnetic wave simulations on a GPU cluster
Sources of the simulations package for the Planck satellite project
Power flow library in C++
Advanced numerical instruments: adaptive meshing, FE methods, solvers
shared memory allocator
SEL for access verilog via PLI/VPI API. Tested with Icarus Verilog.