mmorris44 Goto Github PK
Type: User
Bio: Oxford PhD Computer Science. Reasoning and GNNs researcher.
mmorris44's Projects
betavae
clutrr
Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
ctp
Conditional Theorem Proving
entelectchallenge2018
entelectchallengepractice2018
eskom_loadshedding
expressive-gdns
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 demonstrate our methods empirically.
gauss_reduction
googlehashcode2018
kinematic-music
lexicalanalysis
Build string matching DFAs from regular expressions
m_functional_programming
matthew-docker
ncube-weightspace
Hypercube visualisation (with transformation operations). Uses stereographic projection to project down from n-dimensions to 2 dimensions.
neo_divitias
Final year Computer Games Development project
propositional_logic
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
pytorch-generative
Easy generative modeling in PyTorch.
ultimate-frisbee
Multiplayer Ultimate Frisbee using Unity and Mirror
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.