Skip to content
@IaFP

The Iowa Foundations of Programming Group

  • Iowa City, Iowa

Popular repositories Loading

  1. ghc ghc Public

    A slightly more Glorious Haskell Compiler

    Haskell 2

  2. RoHs RoHs Public

    Haskell 2

  3. ROmega-ICFP23-artifact ROmega-ICFP23-artifact Public

    Artifact Supplementing ICFP'23 Submission "Generic Programming With Extensible Datatypes"

    HTML 1

  4. haskell-language-server haskell-language-server Public

    Forked from haskell/haskell-language-server

    Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

    Haskell

  5. binary binary Public

    Haskell

  6. bytestring bytestring Public

    Haskell

Repositories

Showing 10 of 67 repositories
  • RoHs Public
    IaFP/RoHs’s past year of commit activity
    Haskell 2 0 2 0 Updated Nov 20, 2024
  • CS3820_F23_CodespacesBase Public
    IaFP/CS3820_F23_CodespacesBase’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Oct 9, 2024
  • freer-simple Public Forked from lexi-lambda/freer-simple

    A friendly effect system for Haskell

    IaFP/freer-simple’s past year of commit activity
    Haskell 0 BSD-3-Clause 22 0 0 Updated May 16, 2024
  • bytestring Public
    IaFP/bytestring’s past year of commit activity
    Haskell 0 0 0 3 Updated Jan 26, 2024
  • fused-effects Public Forked from fused-effects/fused-effects

    A fast, flexible, fused effect system for Haskell

    IaFP/fused-effects’s past year of commit activity
    Haskell 0 BSD-3-Clause 56 0 0 Updated Jan 25, 2024
  • ROmega-ICFP23-artifact Public

    Artifact Supplementing ICFP'23 Submission "Generic Programming With Extensible Datatypes"

    IaFP/ROmega-ICFP23-artifact’s past year of commit activity
    HTML 1 0 0 0 Updated Jul 5, 2023
  • plfa Public Forked from plfa/plfa.github.io

    An introduction to programming language theory in Agda

    IaFP/plfa’s past year of commit activity
    Agda 0 CC-BY-4.0 320 0 0 Updated Apr 10, 2023
  • HM-in-Agda Public

    Hindley Milner Inference algorithms W & M in Agda

    IaFP/HM-in-Agda’s past year of commit activity
    Agda 0 0 0 0 Updated Mar 27, 2023
  • ghc Public

    A slightly more Glorious Haskell Compiler

    IaFP/ghc’s past year of commit activity
    Haskell 2 0 15 1 Updated Aug 8, 2022
  • binary Public
    IaFP/binary’s past year of commit activity
    Haskell 0 0 0 0 Updated Aug 2, 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.

Top languages

Loading…

Most used topics

Loading…