S

spin

IISc Bangalore - FMSE tools installation script

E0 272: Formal Methods of Software Engineering (2024 Jan)

MR SPRINT - Magnetic resonance experiment simulator and visualization tool.

A project to use machine learning to identify other measurements that might carry the same information as (harder to execute) measurements of spin correlations in top quark pairs produced at the LHC.

A small python app to calculate spin precession in a magnetic field

A Project for Formal Methods in Software Engineering F97 at UT

mirrored at https://github.com/hadisfr/promela-simple-pedestrian-crossing-traffic-light