Explore projects

Contains dockre for: https://github.com/xiexh20/VisTracker#dependencies

Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.

MIMO-SoftiPHY: A Software-Based PHY Design and Implementation Framework for Highly-Efficient Open-RAN MIMO Radios

Necessary scripts to start working with the Introduction to Astronomy lab (PHY2071)

The TWIN stellar evolution code by Peter Eggleton and Evert Glebbeek.