System F

fp-course

Functional Programming Course

lets-lens

Course material for lens

validation

A data-type like Either but with an accumulating Applicative

papa

Reasonable Haskell default import

zippers-course

Zippers Course

list-zipper

List zipper

zippers

A talk on zippers

natural

Natural number

tickle

Port of Data.Binary with tighter data types and parameterised error messages

digit

A data-type representing digits 0-9 and other combinations

text1

Non-empty values of text

fp-introduction

Introductory talk to FP

aip

Document management for the airservices Aeronautical Information Package (AIP).

aviation-cessna172-diagrams

Diagrams for the Cessna 172 aircraft in aviation

nephele

General purpose XML parser and library

notzero

A data type for representing numeric values, except zero.

radian

A floating-point newtype to represent measurements in radians

tagsoup-navigation

Lenses and Zipper for tagsoup

vfr-waypoints

VFR waypoints

aviation-cessna172-todrldr

TODR / LDR charts for the Cessna 172 aircraft

aviation-cessna172-weight-balance

Weight and Balance for the Cessna 172 aircraft in aviation

aviation-units

Units of measurement pertaining to aviation

aviation-weight-balance

Weight and Balance in aviation

casa-abbreviations-and-acronyms

CASA Abbreviations and Acronyms

xsharpx

XSharpX is a general library for functional programming using .NET languages.

alphachar

Alpha character

bomradar

BOM radar images

exitcode

exitcode-process

Process functions that use Exitcode

geodetics

Haskell library of data types and calculations for positions on planet Earth