Highlights
- Pro
-
indaba-pracs-2024 Public
Forked from deep-learning-indaba/indaba-pracs-2024Jupyter Notebook Apache License 2.0 UpdatedAug 18, 2024 -
-
-
expressive-gdns Public
The code for our NeurIPS paper. We provide a theoretical analysis of communication in multi-agent reinforcement learning, show how such communication can be made universally expressive, and demonst…
-
ctp Public
Forked from uclnlp/ctpConditional Theorem Proving
Python MIT License UpdatedOct 15, 2021 -
-
-
pytorch-generative Public
Forked from EugenHotaj/pytorch-generativeEasy generative modeling in PyTorch.
Jupyter Notebook MIT License UpdatedFeb 14, 2021 -
clutrr Public
Forked from facebookresearch/clutrrDiagnostic benchmark suite to explicitly test logical relational reasoning on natural language
Python Other UpdatedJan 27, 2021 -
ultimate-frisbee Public
Multiplayer Ultimate Frisbee using Unity and Mirror
-
-
ncube-weightspace Public
Hypercube visualisation (with transformation operations). Uses stereographic projection to project down from n-dimensions to 2 dimensions.
Python UpdatedOct 17, 2019 -
-
LexicalAnalysis Public
Build string matching DFAs from regular expressions
-
Neo_Divitias Public
Final year Computer Games Development project
C# MIT License UpdatedDec 16, 2018 -
-
-
Propositional_Logic Public
Allows for proving of statements from series of statements and the relations between them. Model of propositional logic, but with logical operators expressed as binary relations
Java UpdatedMay 10, 2018 -
-
-