Hi. I am a student at Trinity College Dublin, studying Integrated Computer Science.
- Dublin
Pinned Loading
-
-
LogicalReasoning_LLMs
LogicalReasoning_LLMs PublicAs part of my final year project, this application uses LLM's to convert constraint satisfaction problems like the Zebra Puzzle to input's for the Z3 SMT and use the output from the SMT to test and…
Python 1
-
Microsoft-AR-Hololens-Chess-Game-CSharp-Unity
Microsoft-AR-Hololens-Chess-Game-CSharp-Unity PublicThis repository contains final version of an AR chess game developed in direct collaboration with Microsoft for their Hololens. It was made in the unity IDE using C# and Mixed Reality Toolkit
ShaderLab 1
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
