Skip to content
@FreeProving

FreeProving

This project's goal is to model non-strict languages with effects using free monads in Coq.

Popular repositories Loading

  1. free-compiler free-compiler Public

    A Haskell to Coq compiler that represents effectful programs with the free monad

    Haskell 44 3

  2. free-proving-code free-proving-code Public

    Library to model effectful programs and prove properties about these programs in Coq

    Coq 8 1

  3. language-coq language-coq Public

    Coq AST and pretty-printer written in Haskell

    Haskell 5 1

  4. call-by-preference call-by-preference Public

    Haskell 2

  5. haskell-src-transformations haskell-src-transformations Public

    Forked from cau-placc/haskell-src-transformation

    Transforms Haskell sources with definitions using pattern matching to case-expressions

    Haskell

  6. project-landing-page project-landing-page Public

    Forked from StartBootstrap/startbootstrap-landing-page

    A responsive, Bootstrap landing page template created by Start Bootstrap

    HTML

Repositories

Showing 7 of 7 repositories
  • free-compiler Public

    A Haskell to Coq compiler that represents effectful programs with the free monad

    FreeProving/free-compiler’s past year of commit activity
    Haskell 44 BSD-3-Clause 3 20 (1 issue needs help) 3 Updated May 31, 2022
  • call-by-preference Public
    FreeProving/call-by-preference’s past year of commit activity
    Haskell 2 BSD-3-Clause 0 2 0 Updated Mar 2, 2021
  • haskell-src-transformations Public Forked from cau-placc/haskell-src-transformation

    Transforms Haskell sources with definitions using pattern matching to case-expressions

    FreeProving/haskell-src-transformations’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 0 0 Updated Nov 28, 2020
  • language-coq Public

    Coq AST and pretty-printer written in Haskell

    FreeProving/language-coq’s past year of commit activity
    Haskell 5 MIT 1 0 0 Updated Nov 11, 2020
  • guidelines Public

    Contributing guidelines that apply to all repositories of the FreeProving project

    FreeProving/guidelines’s past year of commit activity
    0 BSD-3-Clause 2 0 0 Updated Sep 20, 2020
  • free-proving-code Public

    Library to model effectful programs and prove properties about these programs in Coq

    FreeProving/free-proving-code’s past year of commit activity
    Coq 8 1 0 0 Updated Jun 23, 2020
  • project-landing-page Public Forked from StartBootstrap/startbootstrap-landing-page

    A responsive, Bootstrap landing page template created by Start Bootstrap

    FreeProving/project-landing-page’s past year of commit activity
    HTML 0 MIT 1,669 0 0 Updated Mar 25, 2020

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…