Explore projects
-
Updated
-
program-verification / Course 2024 2025
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
compilerconstruction / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
MRRC / NMRzoo / ssnake
GNU General Public License v3.0 onlyA program for the analysis of NMR data.
Updated -
-
-
Rutger Broekhoff / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Gabriel Bucur / CauSHAPley
MIT LicenseUpdated -
William Kuijltjes / rutheme
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Gabriel Bucur / shapr
MIT LicenseEnhanced shapr package with extensions for computing causal and asymmetric Shapley values.
Updated -
Updated
-
Updated
-
MRRC / NMRzoo / magpie
GNU General Public License v3.0 or laterUpdated -
Updated
-
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .
Updated