therewillbecode
Lean/Haskell/Rust/Typescript - "To ask the right question is harder than to answer it." Georg Cantor
Edinburgh, UK
Pinned Repositories
bf-wasm-compiler
BF to Webassembly compiler implemented in Haskell
Data-Analysis-and-Visualisation
Python - Numpy & Pandas. Data Vis - Node.js & D3
formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
functional-interpreter
An Interpreter for a Simple Functional Language
haskell-study-plan
An opinionated list of resources for learning Haskell
lean-workbook
A collection of maths exercises and solutions for the Lean theorem prover
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
sqlite-clone
A minimal rust clone of sqlite
therewillbecode's Repositories
therewillbecode/poker-maison
🂺 A Multiplayer Poker App Crafted with Haskell and React
therewillbecode/react-poker
A React Library For Poker Card Game Animations
therewillbecode/redux-cheerio
Cheerio middleware for Redux
therewillbecode/haskell-study-plan
An opinionated list of resources for learning Haskell
therewillbecode/bf-wasm-compiler
BF to Webassembly compiler implemented in Haskell
therewillbecode/functional-interpreter
An Interpreter for a Simple Functional Language
therewillbecode/react-redux-example
React, Redux, Redux-Form, Immutable, Jest, Enzyme, React-Router, 0Auth and Docker
therewillbecode/formalising-mathematics
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
therewillbecode/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
therewillbecode/formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
therewillbecode/lean-workbook
A collection of maths exercises and solutions for the Lean theorem prover
therewillbecode/sqlite-clone
A minimal rust clone of sqlite
therewillbecode/AlgoCasts
therewillbecode/awesome-react
A collection of awesome things regarding React ecosystem
therewillbecode/bs-react-stripe-elements
Work in progress ReasonReact bindings for react-stripe-elements
therewillbecode/create-react-module
Create a react library with no build configuration
therewillbecode/documentation
Documentation for the PureScript language, compiler, and tools.
therewillbecode/enzyme
JavaScript Testing utilities for React
therewillbecode/Fae-1
A functional smart contract system
therewillbecode/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.
therewillbecode/haskell-exercises
A list of haskell exercises
therewillbecode/haskell-tutorials
A Curated List of Resources for Learning Haskell
therewillbecode/lab-starter
therewillbecode/mal
mal - Make a Lisp
therewillbecode/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
therewillbecode/miso
:ramen: A tasty Haskell front-end framework
therewillbecode/pca
A rust implementation of Principle Component Analysis
therewillbecode/personal-blog
My blog
therewillbecode/react-motion
A spring that solves your animation problems.
therewillbecode/zfoh.ch
Our homepage