Mark Farrell's repositories
awesome-public-datasets
An awesome list of (large-scale) public datasets on the Internet. (On-going collection)
interactive-lp
Project materials related to logic programming for interactive/reactive systems.
markfarrell.github.io
My personal website.
nicta-course
NICTA functional programming course.
purescript-parsing-repetition
Helper functions for the repetition of PureScript parsers, e.g. range of number of occurrences and validation constraints on trailing input.
purescript-parsing-foreign
Helper functions for the parsing/validation of foreign data.
purescript-parsing-uuid
Helper functions for the parsing/validation of UUIDs.
purescript-parsing-validation
Helper functions for the validation of trailing parse input.
duality-in-coherent-algebras
Slides for "Duality in Coherent Algebras" summary.
Idris-dev
A Dependently Typed Functional Programming Language
idris-seminar
An introduction to dependently typed functional programming in Idris.
ironbane
3D MMO written in Javascript.
lambdaconf-2015
The official supporting materials repository for LambdaConf 2015.
purescript-parsing-alphanumeric
Helper functions for parsing/validation of strings of alphanumeric characters.
purescript-parsing-arguments
[WIP] Helper functions for the parsing/validation of e.g. process arguments in PureScript.
purescript-parsing-hexadecimal
Helper functions for parsing/validation of strings of hexadecimal characters.
purescript-parsing-ip
[WIP] Helper functions for the parsing/validation of IP addresses.
registry
The PureScript registry
sort-by-distance
Sorts a list of coordinates by finding the shortest path between the two coordinates nearest and farthest from the origin.
trenches
Retrieve WW1 trench coordinates inside a bounding box.