system-f Goto Github PK

aip

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

alphachar

Alpha character

aviation-cessna172-diagrams

Diagrams for the Cessna 172 aircraft in aviation

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

bomradar

BOM radar images

casa-abbreviations-and-acronyms

CASA Abbreviations and Acronyms

digit

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

exitcode

exitcode-process

Process functions that use Exitcode

fp-course

Functional Programming Course

fp-introduction

Introductory talk to FP

geodetics

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

lets-lens

Course material for lens

list-zipper

List zipper

natural

Natural number

nephele

General purpose XML parser and library

notzero

A data type for representing numeric values, except zero.

papa

Reasonable Haskell default import

radian

A floating-point newtype to represent measurements in radians

tagsoup-navigation

Lenses and Zipper for tagsoup

text1

Non-empty values of text

tickle

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

validation

A data-type like Either but with an accumulating Applicative

vfr-waypoints

VFR waypoints

xsharpx

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

zippers

A talk on zippers

zippers-course

Zippers Course