Skip to content
@system-f

System F

Aerial Operations, Functional Programming

Popular repositories Loading

  1. fp-course fp-course Public

    Functional Programming Course

    Haskell 4.1k 1.2k

  2. lets-lens lets-lens Public

    Course material for lens

    Haskell 231 92

  3. validation validation Public

    A data-type like Either but with an accumulating Applicative

    Haskell 99 28

  4. papa papa Public

    Reasonable Haskell default import

    Haskell 27 4

  5. zippers-course zippers-course Public

    Zippers Course

    Haskell 9 4

  6. zippers zippers Public

    A talk on zippers

    TeX 7 2

Repositories

Showing 10 of 30 repositories
  • fp-course Public

    Functional Programming Course

    system-f/fp-course’s past year of commit activity
    Haskell 4,131 1,195 14 1 Updated Dec 1, 2024
  • lets-lens Public

    Course material for lens

    system-f/lets-lens’s past year of commit activity
    Haskell 231 92 7 2 Updated Dec 1, 2024
  • alphachar Public

    Alpha character

    system-f/alphachar’s past year of commit activity
    Haskell 1 1 0 0 Updated Nov 8, 2023
  • digit Public

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

    system-f/digit’s past year of commit activity
    Haskell 5 5 1 1 Updated Nov 8, 2023
  • list-zipper Public

    List zipper

    system-f/list-zipper’s past year of commit activity
    Haskell 7 4 0 0 Updated Oct 25, 2023
  • exitcode Public
    system-f/exitcode’s past year of commit activity
    Haskell 1 5 2 0 Updated Oct 5, 2023
  • validation Public

    A data-type like Either but with an accumulating Applicative

    system-f/validation’s past year of commit activity
    Haskell 99 28 20 2 Updated Jul 10, 2023
  • fp-introduction Public

    Introductory talk to FP

    system-f/fp-introduction’s past year of commit activity
    TeX 4 1 0 1 Updated Jun 22, 2023
  • zippers Public

    A talk on zippers

    system-f/zippers’s past year of commit activity
    TeX 7 2 0 0 Updated Apr 14, 2023
  • tickle Public

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

    system-f/tickle’s past year of commit activity
    Haskell 6 3 1 0 Updated Sep 12, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…