Discover tonymorris/osmand-download Open Source project

1,018

java-trivia

Java trivia questions

Java

parametricity

A talk on parametricity

validation

Exercises designed specifically to demonstrate parametricity

parametricity-exercises

lets-lens

Course material for lens

A description of Functional Programming projects

fp-projects

type-class

Experimental Type-class hierarchy

JavaScript

lens-proposal

Lens Proposal for a Haskell-like Language

Code for Asymmetric Lenses in Scala

lenses-in-scala-code

Data structures and HXT parser for OpenStreetMap files

geo-osm

ktm690

KTM690 documentation

Library for writing a Manning Book

manning-book

Documents related to Triumph 800XC

800xc

Shell

monad-transformers

Talk on monad transformers

A talk for the NICTA Seminar Series

fp-for-business

Scalaz: the history, the motivation, the battles, the future

scalaz-history

A skeleton haskell package

haskell-package

command

A nicer System.Process

http://phillyemergingtech.com/2012/sessions/dependency-injection-without-the-gymnastics-functional-programming-applied

di-without-the-gymnastics

Functions on System.FilePath

filepather

geo-gpx

GPS eXchange Parser

How to Learn Functional Programming

how-to-learn-fp

A submission for LambdaJam 2013 about controlling effects in Scala using the free monad

free-monad-scala-article

lastik

casr-logbook

writer-monad

Logging Without Side-effects

Advanced Programming Concepts using Haskell

haskell-intro

Introduction to High-level Programming with Scala

intro-to-high-level-programming-scala

YOW2012 Brisbane, Sydney, Melbourne

aabill-canary

AABill canary

purefp-live

Monadic Parsers using Haskell

ppl

Private Pilot Licence

Shell

haskell-parsers

Slides for a talk on List fold-left and fold-right

list-folds

Slides for talk on Asymmetric Lenses

asymmetric-lenses

DO NOT HIRE THESE BAD PEOPLE

do-not-hire

foscam-directory

Read the output directory of a Foscam camera

metar

METAR

Supprt libraries for implementing a budget in haskell (what else would you use?)

hbudget

coordinate-parse

Parsers for coordinates

Ho do I convince my boss to use my favourite FP language?

how-to-use-fp

Build Garmi map from OSM data

osmgarmin

surgery

Surgical history

Applicative Programming, Disjoint Unions, Semigroups and Non-breaking Error Handling

applicative-errors-scala

Test library for Scala using random generation with existential falsification

epistest

Patterns: Reduction to the Inconsequential

patterns

Utility functions that are missing from the standard library

utility-tm

Using type-classes for optional function arguments.

optional

hargonaut

JSON parsing

Post-processing of the Aeronautical Information Package

aip-post

bom-radar

BOM radar

A library for creating routes

route-planning

Script to create Garmin map from osmaustralia.org data

osmaustralia

A utility to print the target version of Java class files.

javav

A utility to print the SourceFile attribute of one or more Java class files.

javasf

AirServices Aeronautical Information Package (AIP)

aip

Meta-information about entries in a CASR 61.345 logbook (casr-logbook)

casr-logbook-meta

Sort Foscam Files into directories

foscam-sort

CASR Pilot logbook reports

casr-logbook-reports

what-does-monad-mean

gpx

reader-monad

Configuration Without the Bugs and Gymnastics

chess-scoresheet

chess

djangocon-2014

Talk at Djangocon 2014

HTML output for meta-information about entries in a CASR 61.345 logbook

casr-logbook-meta-html

Talk on Functional Programming in Aviation

fp-in-aviation

Files and settings for mobius action camera

mobius-camera

casr-logbook-reports-html

CASR Pilot logbook reports HTML output

exml

XML

CASR Pilot logbook HTML output

casr-logbook-html

trees-that-grow

Trees That Grow talk

What Does Functional Programming Mean?

what-does-fp-mean

Discrete Interval Encoding Tree

diet

A MonadTransform type-class

monadtransform

stringzipper

metar-http

docbook-document

comonads-applicative-monads

Talk for Codemania 2014 [Comonads, Applicative Functors, Monads]

Programming for Remote Environments

programming-for-remote-environments

automated-testing

campinglist

docbook-dependencies

casr-logbook-reports-meta

Reports on meta-information about entries in a CASR 61.345 logbook (casr-logbook)

CAT excerpt of SIJ nonunion

sij-nonunion

Download airservices AIP charts

aipchart

linux.conf.au-2015

linux.conf.au 2015

HTML output for reports on meta-information about entries in a CASR 61.345 logbook

casr-logbook-reports-meta-html

20191117-lens

Example client code to demonstrate the use of the Free monad for controlling the effects of a hash map

free-hashmap

World Chess Championship 2013 (Carlsen v Anand)

fwcm2013

retropie

Retropie configuration

rating-calculator

ride

Ride 2014 Planning

cabal new-build, for testing

test-new-build

Smallest example demonstrating mkName issue

shop

mkname

logbook

Australia Pilot Logbook

Sun Certified Java Developer

scjd

Java

100

ersaconcat

Concatenate ERSA documents