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. ROmega-ICFP23-artifact ROmega-ICFP23-artifact Public

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

    HTML 1

  3. 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

  4. binary binary Public

    Haskell

  5. bytestring bytestring Public

    Haskell

  6. Cabal Cabal Public

    Haskell

Repositories

Showing 10 of 65 repositories
  • 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 19 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 57 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 303 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
  • indexed-traversable Public Forked from haskellari/indexed-traversable

    FunctorWithIndex, FoldableWithIndex, TraversableWithIndex

    IaFP/indexed-traversable’s past year of commit activity
    Haskell 0 12 0 0 Updated Jul 21, 2022
  • vector Public Forked from haskell/vector

    An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

    IaFP/vector’s past year of commit activity
    Haskell 0 141 0 0 Updated Jul 21, 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…