Explore projects
-
Updated
-
program-verification / Course 2024 2025
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Introductory work for my Master's Internship
Updated -
-
Updated
-
Updated
-
Programming Languages / Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
BSD 3-Clause "New" or "Revised" LicenseUpdated