Skip to content

@system-f System F

Change the repository type filter

All

    Repositories list

    30 repositories

    • fp-course

      Public
      Functional Programming Course
      Haskell
      •1.2k•4.2k•15•1•Updated Oct 7, 2025Oct 7, 2025

    • list-zipper

      Public
      List zipper
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•8•0•0•Updated Jan 18, 2025Jan 18, 2025

    • lets-lens

      Public
      Course material for lens
      Haskell
      •
      Other
      •89•240•7•2•Updated Dec 2, 2024Dec 2, 2024

    • alphachar

      Public
      Alpha character
      Haskell
      •
      Other
      •0•1•0•0•Updated Nov 9, 2023Nov 9, 2023

    • digit

      Public
      A data-type representing digits 0-9 and other combinations
      Haskell
      •
      Other
      •3•5•1•1•Updated Nov 9, 2023Nov 9, 2023

    • exitcode

      Public
      Haskell
      •
      Other
      •3•1•2•0•Updated Oct 6, 2023Oct 6, 2023

    • validation

      Public
      A data-type like Either but with an accumulating Applicative
      Haskell
      •
      Other
      •26•100•20•2•Updated Jul 10, 2023Jul 10, 2023

    • fp-introduction

      Public
      Introductory talk to FP
      TeX
      •0•4•0•1•Updated Jun 23, 2023Jun 23, 2023

    • zippers

      Public
      A talk on zippers
      TeX
      •1•7•0•0•Updated Apr 14, 2023Apr 14, 2023

    • tickle

      Public
      Port of Data.Binary with tighter data types and parameterised error messages
      Haskell
      •
      Other
      •2•6•1•0•Updated Sep 12, 2022Sep 12, 2022

    • papa

      Public
      Reasonable Haskell default import
      Haskell
      •3•27•6•1•Updated Sep 12, 2022Sep 12, 2022

    • radian

      Public
      A floating-point newtype to represent measurements in radians
      Haskell
      •
      Other
      •2•3•0•0•Updated Dec 9, 2021Dec 9, 2021

    • text1

      Public
      Non-empty values of text
      Haskell
      •
      Other
      •3•5•1•0•Updated Dec 9, 2021Dec 9, 2021

    • vfr-waypoints

      Public
      VFR waypoints
      Haskell
      •
      Other
      •1•3•0•0•Updated Dec 9, 2021Dec 9, 2021

    • casa-abbreviations-and-acronyms

      Public
      CASA Abbreviations and Acronyms
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•0•0•Updated Dec 9, 2021Dec 9, 2021

    • natural

      Public
      Natural number
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•6•0•0•Updated Dec 9, 2021Dec 9, 2021

    • aviation-cessna172-diagrams

      Public
      Diagrams for the Cessna 172 aircraft in aviation
      Haskell
      •
      Other
      •0•3•0•0•Updated Feb 7, 2020Feb 7, 2020

    • aviation-cessna172-weight-balance

      Public
      Weight and Balance for the Cessna 172 aircraft in aviation
      Haskell
      •
      Other
      •0•2•0•0•Updated Feb 7, 2020Feb 7, 2020

    • aviation-weight-balance

      Public
      Weight and Balance in aviation
      Haskell
      •
      Other
      •0•2•0•0•Updated Feb 7, 2020Feb 7, 2020

    • aviation-units

      Public
      Units of measurement pertaining to aviation
      Haskell
      •
      Other
      •1•2•0•0•Updated Nov 25, 2019Nov 25, 2019

    • aviation-cessna172-todrldr

      Public
      TODR / LDR charts for the Cessna 172 aircraft
      Haskell
      •
      Other
      •0•2•0•0•Updated Nov 25, 2019Nov 25, 2019

    • exitcode-process

      Public
      Process functions that use Exitcode
      Nix
      •
      Other
      •0•0•0•0•Updated Nov 25, 2019Nov 25, 2019

    • tagsoup-navigation

      Public
      Lenses and Zipper for tagsoup
      Haskell
      •
      Other
      •0•3•0•0•Updated Nov 25, 2019Nov 25, 2019

    • notzero

      Public
      A data type for representing numeric values, except zero.
      Haskell
      •
      Other
      •1•3•0•0•Updated Nov 25, 2019Nov 25, 2019

    • aip

      Public
      Document management for the airservices Aeronautical Information Package (AIP).
      Haskell
      •
      Other
      •0•3•0•0•Updated Nov 25, 2019Nov 25, 2019

    • zippers-course

      Public
      Zippers Course
      Haskell
      •3•10•0•0•Updated Nov 25, 2019Nov 25, 2019

    • bomradar

      Public
      BOM radar images
      Haskell
      •
      Other
      •1•1•0•1•Updated Nov 25, 2019Nov 25, 2019

    • geodetics

      Public
      Haskell library of data types and calculations for positions on planet Earth
      Haskell
      •
      Other
      •8•0•0•0•Updated Aug 6, 2018Aug 6, 2018

    • nephele

      Public
      General purpose XML parser and library
      Haskell
      •0•3•0•0•Updated Apr 17, 2018Apr 17, 2018

    • xsharpx

      Public
      XSharpX is a general library for functional programming using .NET languages.
      C#
      •
      Other
      •7•2•0•0•Updated Dec 1, 2016Dec 1, 2016