Pinned Repositories
DeepNLP-Lab-1
Oxford Deep NLP 2017 course - Practical 1: word2vec
DeepNLP-Lab-2
Oxford Deep NLP 2017 course - Practical 2: Text Classification
DeepNLP-Lectures
Oxford Deep NLP 2017 course
ElementSpeller
Checks if you can spell words with the periodic table, a simple C# project.
gnasher
Part C Computer Science Project - A model checking tool with a focus on rational verification
haskulator
A calculator web app running on a Haskell back-end
JuliaSetExplorer
A quick C# to generate Julia sets
monadic-hanoi-solver
A little Haskell to solve the towers of Hanoi problem and give a list of moves using a Writer monad. It explicitly calculates the number of moves while logging the moves that have been made. Simple recursive approach used.
PopGuessr
OxHack Submission
PrinType
Generates formal proofs for principal type deductions of terms in the simply typed lambda calculus.
Richiecakes's Repositories
Richiecakes/PrinType
Generates formal proofs for principal type deductions of terms in the simply typed lambda calculus.
Richiecakes/DeepNLP-Lab-1
Oxford Deep NLP 2017 course - Practical 1: word2vec
Richiecakes/DeepNLP-Lab-2
Oxford Deep NLP 2017 course - Practical 2: Text Classification
Richiecakes/DeepNLP-Lectures
Oxford Deep NLP 2017 course
Richiecakes/ElementSpeller
Checks if you can spell words with the periodic table, a simple C# project.
Richiecakes/gnasher
Part C Computer Science Project - A model checking tool with a focus on rational verification
Richiecakes/haskulator
A calculator web app running on a Haskell back-end
Richiecakes/JuliaSetExplorer
A quick C# to generate Julia sets
Richiecakes/monadic-hanoi-solver
A little Haskell to solve the towers of Hanoi problem and give a list of moves using a Writer monad. It explicitly calculates the number of moves while logging the moves that have been made. Simple recursive approach used.
Richiecakes/PopGuessr
OxHack Submission
Richiecakes/richiecakes.github.io
A backbone.js powered site for creating sticky notes
Richiecakes/ScalaSpreadsheetTutorial
Code from the tutorial in the last chapter of Programming in Scala, with minor adaptations to account for changes to scala in 2.11
Richiecakes/TodoList
Learning backbone.js by imitating todos.js
Richiecakes/vimium
The hacker's browser.