Tom's repositories
poker-maison
🂺 A Multiplayer Poker App Crafted with Haskell and React
react-poker
A React Library For Poker Card Game Animations
redux-cheerio
Cheerio middleware for Redux
haskell-study-plan
An opinionated list of resources for learning Haskell
bf-wasm-compiler
BF to Webassembly compiler implemented in Haskell
functional-interpreter
An Interpreter for a Simple Functional Language
react-redux-example
React, Redux, Redux-Form, Immutable, Jest, Enzyme, React-Router, 0Auth and Docker
formalising-mathematics
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
lean-workbook
A collection of maths exercises and solutions for the Lean theorem prover
awesome-react
A collection of awesome things regarding React ecosystem
bs-react-stripe-elements
Work in progress ReasonReact bindings for react-stripe-elements
create-react-module
Create a react library with no build configuration
documentation
Documentation for the PureScript language, compiler, and tools.
gatsby-starter-minimal-blog
Typography driven, feature-rich blogging theme with minimal aesthetics. Includes tags/categories support and extensive features for code blocks such as live preview, line numbers, and line highlighting.
haskell-exercises
A list of haskell exercises
haskell-tutorials
A Curated List of Resources for Learning Haskell
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
personal-blog
My blog
react-motion
A spring that solves your animation problems.