Skip to content
@heft-lang

heft-lang

Popular repositories Loading

  1. POPL2023 POPL2023 Public

    The repository containing the artifact accompanying the paper

    HTML 9

  2. heft heft Public

    Programming with Higher order EFfecTs!

    Haskell 6

  3. hefty-equations hefty-equations Public

    Modular reasoning about (elaborations of) higher-order effects

    Agda 6

  4. hefty-compilation hefty-compilation Public

    TeX 2

  5. hmg hmg Public

    Haskell 1 6

  6. hefty-hs hefty-hs Public

    Implementation of Hefty as Haskell library.

    Haskell 1

Repositories

Showing 6 of 6 repositories
  • hefty-equations Public

    Modular reasoning about (elaborations of) higher-order effects

    heft-lang/hefty-equations’s past year of commit activity
    Agda 6 0 0 0 Updated May 1, 2024
  • hefty-compilation Public
    heft-lang/hefty-compilation’s past year of commit activity
    TeX 2 0 0 0 Updated Sep 1, 2023
  • POPL2023 Public

    The repository containing the artifact accompanying the paper

    heft-lang/POPL2023’s past year of commit activity
    HTML 9 MIT 0 0 0 Updated Aug 21, 2023
  • hmg Public
    heft-lang/hmg’s past year of commit activity
    Haskell 1 6 0 0 Updated May 7, 2023
  • hefty-hs Public

    Implementation of Hefty as Haskell library.

    heft-lang/hefty-hs’s past year of commit activity
    Haskell 1 0 0 0 Updated Feb 10, 2023
  • heft Public

    Programming with Higher order EFfecTs!

    heft-lang/heft’s past year of commit activity
    Haskell 6 BSD-3-Clause 0 0 0 Updated Jul 28, 2022

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…