system-f/fp-course

Functional Programming Course

Language: Haskell - Size: 4.05 MB - Last synced: 1 day ago - Pushed: 8 months ago - Stars: 4,049 - Forks: 1,181

system-f/validation

A data-type like Either but with an accumulating Applicative

Language: Haskell - Size: 172 KB - Last synced: 22 days ago - Pushed: 10 months ago - Stars: 98 - Forks: 28

system-f/xsharpx Fork of NICTA/xsharpx

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

Language: C# - Size: 70.3 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 2 - Forks: 1

system-f/nephele

General purpose XML parser and library

Language: Haskell - Size: 117 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 3 - Forks: 1

system-f/geodetics Fork of PaulJohnson/geodetics

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

Language: Haskell - Size: 298 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1

system-f/aviation-weight-balance

Weight and Balance in aviation

Language: Haskell - Size: 17.6 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 1

system-f/zippers-course

Zippers Course

Language: Haskell - Size: 30.3 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 8 - Forks: 4

system-f/tagsoup-navigation

Lenses and Zipper for tagsoup

Language: Haskell - Size: 34.2 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 1

system-f/aviation-cessna172-todrldr

TODR / LDR charts for the Cessna 172 aircraft

Language: Haskell - Size: 7.81 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 1

system-f/aviation-units

Units of measurement pertaining to aviation

Language: Haskell - Size: 17.6 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 2

system-f/exitcode-process

Process functions that use Exitcode

Language: Nix - Size: 13.7 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 1

system-f/fp-introduction

Introductory talk to FP

Language: TeX - Size: 558 KB - Last synced: about 2 months ago - Pushed: 11 months ago - Stars: 4 - Forks: 1

system-f/aviation-cessna172-weight-balance

Weight and Balance for the Cessna 172 aircraft in aviation

Language: Haskell - Size: 11.7 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 1

system-f/bomradar

BOM radar images

Language: Haskell - Size: 28.3 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 2

system-f/aviation-cessna172-diagrams

Diagrams for the Cessna 172 aircraft in aviation

Language: Haskell - Size: 15.6 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 1

system-f/digit

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

Language: Haskell - Size: 265 KB - Last synced: 22 days ago - Pushed: 6 months ago - Stars: 5 - Forks: 5

system-f/lets-lens

Course material for lens

Language: Haskell - Size: 73.2 KB - Last synced: about 2 months ago - Pushed: about 5 years ago - Stars: 229 - Forks: 92

system-f/list-zipper

List zipper

Language: Haskell - Size: 39.1 KB - Last synced: 1 day ago - Pushed: 7 months ago - Stars: 7 - Forks: 4

system-f/zippers

A talk on zippers

Language: TeX - Size: 4.82 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 7 - Forks: 2

system-f/alphachar

Alpha character

Language: Haskell - Size: 28.3 KB - Last synced: 7 days ago - Pushed: 6 months ago - Stars: 1 - Forks: 1

system-f/papa

Reasonable Haskell default import

Language: Haskell - Size: 114 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 27 - Forks: 4

system-f/tickle

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

Language: Haskell - Size: 45.9 KB - Last synced: 2 days ago - Pushed: over 1 year ago - Stars: 6 - Forks: 3

system-f/natural

Natural number

Language: Haskell - Size: 27.3 KB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 6 - Forks: 5

system-f/exitcode

Language: Haskell - Size: 91.8 KB - Last synced: 11 days ago - Pushed: 7 months ago - Stars: 1 - Forks: 5

system-f/casa-abbreviations-and-acronyms

CASA Abbreviations and Acronyms

Language: Haskell - Size: 88.9 KB - Last synced: 3 days ago - Pushed: over 2 years ago - Stars: 2 - Forks: 3

system-f/vfr-waypoints

VFR waypoints

Language: Haskell - Size: 102 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 3

system-f/text1

Non-empty values of text

Language: Haskell - Size: 48.8 KB - Last synced: 26 days ago - Pushed: over 2 years ago - Stars: 5 - Forks: 4

system-f/radian

A floating-point newtype to represent measurements in radians

Language: Haskell - Size: 19.5 KB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 3 - Forks: 4

system-f/aip

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

Language: Haskell - Size: 224 KB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 3 - Forks: 1

system-f/notzero

A data type for representing numeric values, except zero.

Language: Haskell - Size: 18.6 KB - Last synced: 22 days ago - Pushed: over 4 years ago - Stars: 3 - Forks: 2