←
Back to Open Source
🐙 GitHub Detail
F
NathanielB123/fyp
By NathanielB123
Final year project
GitHub
Agda
Updated 01 Apr 2026
Live Snapshot
⭐
Stars
14
🍴
Forks
1
📄
License
Unknown
🧩
Type
Agda
📘
About this open-source project
Live information fetched from GitHub.
Final year project
🌿
Default Branch
main
🐞
Open Issues
0
👀
Watchers
14