Pinned Repositories
accessibility-statement-frontend
akka-stream-validation-proposal
aoc
Solutions to Advent of Code 2018/2019 in Scala
aoc-haskell
Solutions to Advent of Code using Haskell
aoc-idris
BankOcrKata
cats-with-scala
Countdown-Pearl
List all possible solutions of the Countdown Problem
csp-client
Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
daniel-manning's Repositories
daniel-manning/Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
daniel-manning/accessibility-statement-frontend
daniel-manning/akka-stream-validation-proposal
daniel-manning/aoc
Solutions to Advent of Code 2018/2019 in Scala
daniel-manning/aoc-haskell
Solutions to Advent of Code using Haskell
daniel-manning/aoc-idris
daniel-manning/cats-with-scala
daniel-manning/Countdown-Pearl
List all possible solutions of the Countdown Problem
daniel-manning/csp-client
daniel-manning/customs-declare-exports-frontend
daniel-manning/di-talk
daniel-manning/fp-course
Functional Programming Course
daniel-manning/fpinscala
daniel-manning/go-bot
daniel-manning/haskell-katas
Kata Solutions in Haskell
daniel-manning/hello-scala
Toying around with scala code
daniel-manning/holt-winters
daniel-manning/machine-learning
Examples for Machine Learning Community of Interest Talks
daniel-manning/masyu
daniel-manning/monad-transformers-exercises
daniel-manning/pacman-kata-haskell
daniel-manning/play-26-frontend
daniel-manning/reverse-conway
daniel-manning/scala-nunjucks
daniel-manning/schedule-scraper
daniel-manning/smoke
experiments with code generation for maths computation
daniel-manning/success-failure-haskell
Follow along with Finding Success (and Failure) in Haskell by Julie Moronuki and Chris Martin
daniel-manning/synacor-reader
daniel-manning/text-detection
daniel-manning/Tsuro