markfarrell Goto Github PK

3tier

[Archived] A prototype 3-tier web application written in PureScript.

awesome-public-datasets

An awesome list of (large-scale) public datasets on the Internet. (On-going collection)

centralized-logging

crea-presentation

My presentation on relation extraction at UCB/LBNL, aimed at life science students.

cubicaltt

datatype

(Somewhat) Algebraic Data Types for Racket

duality-in-coherent-algebras

Slides for "Duality in Coherent Algebras" summary.

elevation

Retrieve elevation data inside a bounding box.

gdalinfo-json

Converts the output of `gdalinfo` to JSON; the default output is difficult to parse.

graph-visualization

Visualize relations extracted from text articles.

idris-dev

A Dependently Typed Functional Programming Language

idris-foldln

FoldlN takes a vector of types, a return type and produces a function to foldl over those types.

idris-seminar

An introduction to dependently typed functional programming in Idris.

insufficient-logging

interactive-lp

Project materials related to logic programming for interactive/reactive systems.

ironbane

3D MMO written in Javascript.

lambdaconf-2015

The official supporting materials repository for LambdaConf 2015.

learn-plt

Learning programming languages theory.

markfarrell.github.io

My personal website.

nicta-course

NICTA functional programming course.

pict-subtract

Subtracts two picts in Racket - like the subtract blend mode in GIMP.

purescript-ffi-foreign

purescript-node-canvas

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-expect

purescript-parsing-foreign

Helper functions for the parsing/validation of foreign data.

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.

purescript-parsing-repetition

Helper functions for the repetition of PureScript parsers, e.g. range of number of occurrences and validation constraints on trailing input.