Skip to content

@IowaFP The Iowa Foundations of Programming Group

Change the repository type filter

All

    Repositories list

    72 repositories

    • systemfd-lean

      Public
      Lean
      •0•1•5•0•Updated Mar 26, 2026Mar 26, 2026

    • Rosi

      Public
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •0•8•4•0•Updated Feb 6, 2026Feb 6, 2026

    • rosi-vscode

      Public
      Rosi language support for VS Code
      0•0•0•0•Updated Jan 27, 2026Jan 27, 2026

    • CategoriesInAgda

      Public
      Category theory & semantics in Agda
      Agda
      •0•1•0•0•Updated Jan 21, 2026Jan 21, 2026

    • Rome

      Public
      Mechanizations in Agda of various row-typed calculi
      Agda
      •0•0•6•0•Updated Jan 6, 2026Jan 6, 2026

    • 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
      •22•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
      •345•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
      •18•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
      •143•0•0•0•Updated Jul 21, 2022Jul 21, 2022

    • optics

      Public
      Optics as an abstract interface
      Haskell
      •26•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
      •101•0•0•0•Updated Jun 18, 2022Jun 18, 2022

    • OneTuple

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

    • tagged

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

    • attoparsec

      Public
      A fast Haskell library for parsing ByteStrings
      Haskell
      •
      Other
      •96•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
      •42•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • integer-logarithms

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

    • aeson

      Public
      A fast Haskell JSON library
      Haskell
      •
      Other
      •333•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
      •15•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
      •14•0•0•0•Updated Jun 1, 2022Jun 1, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.