Skip to content

@FreeProving FreeProving

Change the repository type filter

All

    Repositories list

    7 repositories

    • free-compiler

      Public
      A Haskell to Coq compiler that represents effectful programs with the free monad
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•44•20•3•Updated May 31, 2022May 31, 2022

    • call-by-preference

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•2•0•Updated Mar 2, 2021Mar 2, 2021

    • haskell-src-transformations

      Public
      Transforms Haskell sources with definitions using pattern matching to case-expressions
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Nov 28, 2020Nov 28, 2020

    • language-coq

      Public
      Coq AST and pretty-printer written in Haskell
      Haskell
      •
      MIT License
      •1•5•0•0•Updated Nov 11, 2020Nov 11, 2020

    • guidelines

      Public
      Contributing guidelines that apply to all repositories of the FreeProving project
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Sep 20, 2020Sep 20, 2020

    • free-proving-code

      Public
      Library to model effectful programs and prove properties about these programs in Coq
      Coq
      •1•8•0•0•Updated Jun 23, 2020Jun 23, 2020

    • project-landing-page

      Public
      A responsive, Bootstrap landing page template created by Start Bootstrap
      HTML
      •
      MIT License
      •1.7k•0•0•0•Updated Mar 25, 2020Mar 25, 2020