←
Back to Open Source
🐙 GitHub Detail
F
umazalakain/fyp
By umazalakain
My final year project at the University of Strathclyde
GitHub
Agda
Updated 20 Feb 2026
Live Snapshot
⭐
Stars
14
🍴
Forks
1
📄
License
Unknown
🧩
Type
Agda
📘
About this open-source project
Live information fetched from GitHub.
My final year project at the University of Strathclyde
🌿
Default Branch
master
🐞
Open Issues
1
👀
Watchers
14