-
software
Steady model for "Magma Ascent Mathematical Modelling and Analysis" (
https://github.com/demichie/MAMMA). This version includes a crystallization model for basaltic...
-
-
software
C++ code for fitting astronomical images (especially of galaxies) in FITS format, as described in Erwin (2015; ApJ 799: 226).
Main web page:
http://www.mpe.mpg.de/~erwin/imfit...
-
dataset
This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust Programming Language". You can find the latest version of this...