2 items found

Organisations: RISIS2OpenData Groups: ZENODO Tags: 59999 Environmental Sciences not elsewhere classified 69999 Biological Sciences not elsewhere classified Space Science http version

Filter Results
  • software

    MAMMA_Basalts

    Steady model for "Magma Ascent Mathematical Modelling and Analysis" (https://github.com/demichie/MAMMA). This version includes a crystallization model for basaltic...
  • dataset

    RustBelt: Securing the Foundations of the Rust Programming Language -- Artifact

    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...