Skip to content

@IaFP The Iowa Foundations of Programming Group

Change the repository type filter

All

    Repositories list

    67 repositories

    • RoHs

      Public
      Haskell
      •
      Other
      •0•2•2•0•Updated Nov 20, 2024Nov 20, 2024

    • CS3820_F23_CodespacesBase

      Public
      Dockerfile
      •0•0•0•0•Updated Oct 9, 2024Oct 9, 2024

    • freer-simple

      Public
      A friendly effect system for Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •21•0•0•0•Updated May 16, 2024May 16, 2024

    • bytestring

      Public
      Haskell
      •
      Other
      •0•0•0•3•Updated Jan 26, 2024Jan 26, 2024

    • fused-effects

      Public
      A fast, flexible, fused effect system for Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •52•0•0•0•Updated Jan 25, 2024Jan 25, 2024

    • ROmega-ICFP23-artifact

      Public
      Artifact Supplementing ICFP'23 Submission "Generic Programming With Extensible Datatypes"
      HTML
      •0•1•0•0•Updated Jul 5, 2023Jul 5, 2023

    • plfa

      Public
      An introduction to programming language theory in Agda
      Agda
      •
      Creative Commons Attribution 4.0 International
      •319•0•0•0•Updated Apr 10, 2023Apr 10, 2023

    • HM-in-Agda

      Public
      Hindley Milner Inference algorithms W & M in Agda
      Agda
      •0•0•0•0•Updated Mar 27, 2023Mar 27, 2023

    • ghc

      Public
      A slightly more Glorious Haskell Compiler
      Haskell
      •
      Other
      •0•2•15•1•Updated Aug 8, 2022Aug 8, 2022

    • binary

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Aug 2, 2022Aug 2, 2022

    • indexed-traversable

      Public
      FunctorWithIndex, FoldableWithIndex, TraversableWithIndex
      Haskell
      •13•0•0•0•Updated Jul 21, 2022Jul 21, 2022

    • vector

      Public
      An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
      Haskell
      •
      Other
      •139•0•0•0•Updated Jul 21, 2022Jul 21, 2022

    • optics

      Public
      Optics as an abstract interface
      Haskell
      •24•0•0•0•Updated Jul 12, 2022Jul 12, 2022

    • unordered-containers

      Public
      Efficient hashing-based container types
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •100•0•0•0•Updated Jun 18, 2022Jun 18, 2022

    • OneTuple

      Public
      Singleton Tuple
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • tagged

      Public
      phantom types
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •26•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • attoparsec

      Public
      A fast Haskell library for parsing ByteStrings
      Haskell
      •
      Other
      •93•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • scientific

      Public
      Arbitrary-precision floating-point numbers represented using scientific notation
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •40•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • integer-logarithms

      Public
      Integer logarithms, originally split from arithmoi package
      Haskell
      •
      MIT License
      •6•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • aeson

      Public
      A fast Haskell JSON library
      Haskell
      •
      Other
      •319•0•0•0•Updated Jun 10, 2022Jun 10, 2022

    • parsec

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Jun 8, 2022Jun 8, 2022

    • data-fix

      Public
      Fixpoint data types
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •14•0•0•0•Updated Jun 2, 2022Jun 2, 2022

    • th-abstraction

      Public
      Uniform interface to reified data type information via Template Haskell
      Haskell
      •
      ISC License
      •11•0•0•0•Updated Jun 1, 2022Jun 1, 2022

    • text-short

      Public
      Memory-efficient representation of Unicode text strings
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •19•0•0•0•Updated Jun 1, 2022Jun 1, 2022

    • time-compat

      Public
      Compatibility package for time
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •12•0•0•0•Updated Jun 1, 2022Jun 1, 2022

    • base-orphans

      Public
      Backwards-compatible orphan instances for base
      Haskell
      •
      MIT License
      •5•0•0•0•Updated Jun 1, 2022Jun 1, 2022

    • uuid

      Public
      A Haskell library for creating, printing and parsing UUIDs
      Haskell
      •40•0•0•0•Updated Jun 1, 2022Jun 1, 2022

    • splitmix

      Public
      Pure Haskell implementation of SplitMix pseudo-random number generator
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •19•0•0•0•Updated Jun 1, 2022Jun 1, 2022

    • primitive

      Public
      This package provides various primitive memory-related operations.
      Haskell
      •
      Other
      •58•0•0•0•Updated May 31, 2022May 31, 2022

    • old-locale

      Public
      This package provides the ability to adapt to locale conventions such as date and time formats.
      Haskell
      •
      Other
      •5•0•0•0•Updated May 31, 2022May 31, 2022