๐
Interested in automated formal reasoning, type theory and natural-languages.
- Nottingham, UK
-
09:31
(UTC +01:00) - in/toby-clark-14350815a
Pinned Loading
-
shapeshifters
shapeshifters Public๐บ 3rd Place at RoyalHackaway v7! Networked Computer-Vision Hole in the Wall Game deployed using OpenCV2, Tensorflow, GMS2, Azure, Python3, Java & REST.
Game Maker Language 2
-
mole
mole PublicForked from aswarbs/mole
๐ต๏ธ 1st Place at Hack The Museum. Hardware Controlled & Computer Vision Interpreted Robot Programming Game! Deployed using GM, OpenCV, Raspberry Pi 5 & Particle Photon 2!
Python
-
tambercore/hottnat
tambercore/hottnat Public๐ฃ๏ธ Mixing Proof-Theory with Natural Language Processing. Inspired by David Corfields comments on univalent philosophy.
Rust
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.