daniel-manning

Daniel Manning's repositories

Robotone

The 'Robot' theorem prover. Fork of github.com/mg262/research

Language:HaskellBSD-3-Clause1 10

accessibility-statement-frontend

Language:ScalaApache-2.0000

akka-stream-validation-proposal

Language:Scala000

aoc

Solutions to Advent of Code 2018/2019 in Scala

Language:Scala010

aoc-haskell

Solutions to Advent of Code using Haskell

Language:HaskellBSD-3-Clause020

aoc-idris

Language:Idris000

cats-with-scala

Language:Scala000

Countdown-Pearl

List all possible solutions of the Countdown Problem

Language:Scala000

csp-client

Language:ScalaApache-2.0000

customs-declare-exports-frontend

Apache-2.0000

di-talk

Language:Scala010

fp-course

Functional Programming Course

Language:Haskell000

fpinscala

Language:Scala000

go-bot

Language:HaskellMIT000

haskell-katas

Kata Solutions in Haskell

Language:HaskellBSD-3-Clause000

hello-scala

Toying around with scala code

Language:Scala000

holt-winters

Language:ScalaMIT000

machine-learning

Examples for Machine Learning Community of Interest Talks

Language:Scala000

masyu

Language:ScalaApache-2.0000

monad-transformers-exercises

Language:Scala000

pacman-kata-haskell

000

play-26-frontend

Language:ScalaApache-2.0000

reverse-conway

Language:Scala020

scala-nunjucks

000

schedule-scraper

Language:HaskellBSD-3-Clause000

smoke

experiments with code generation for maths computation

Language:HaskellMIT000

success-failure-haskell

Follow along with Finding Success (and Failure) in Haskell by Julie Moronuki and Chris Martin

Language:HaskellBSD-3-Clause000

synacor-reader

Language:Scala000

text-detection

Language:Java000

Tsuro

Language:Scala000