Skip to content

@OctopiChalmers Octopi

Change the repository type filter

All

    Repositories list

    14 repositories

    • mutagen

      Public
      Property-Based Testing framework using exhaustive mutations.
      Haskell
      •
      MIT License
      •0•3•0•0•Updated Mar 15, 2023Mar 15, 2023

    • BinderAnn

      Public
      BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•4•0•0•Updated Nov 10, 2021Nov 10, 2021

    • hpatterns

      Public
      Playing around with pattern matching representation
      Haskell
      •
      MIT License
      •0•1•0•0•Updated Aug 21, 2021Aug 21, 2021

    • haski

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•8•1•0•Updated Jun 12, 2021Jun 12, 2021

    • PropProver

      Public
      An embedded DSL in Haskell for proving propositional logic stuff kinda interactively.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated May 17, 2020May 17, 2020

    • dragen

      Public
      Branching processes for QuickCheck generators
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•6•2•0•Updated May 17, 2020May 17, 2020

    • BinderAnn-examples

      Public
      Case studies of the BinderAnn GHC plugin
      Haskell
      •0•1•0•0•Updated Mar 19, 2020Mar 19, 2020

    • estructs

      Public
      MIT License
      •0•0•0•0•Updated Dec 17, 2019Dec 17, 2019

    • dragen2

      Public
      QuickCheck utilities to generate structured data.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•2•0•Updated Sep 9, 2019Sep 9, 2019

    • CSrankings

      Public
      Adding Chalmers Faculties to CSranking.
      Python
      •
      Other
      •3.3k•0•0•0•Updated Jun 22, 2019Jun 22, 2019

    • imperative-edsl

      Public
      Deep embedding of imperative programs with code generation
      Haskell
      •
      Other
      •9•0•0•0•Updated May 9, 2019May 9, 2019

    • OptimisingFSME

      Public
      Supplementary material to "Optimising Faceted Secure Multi-Execution"
      Agda
      •1•2•0•0•Updated May 4, 2019May 4, 2019

    • regions

      Public
      Monadic Regions
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 1, 2019Mar 1, 2019

    • Multef

      Public
      The Multi-Execution Framework
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•6•0•Updated Jan 3, 2019Jan 3, 2019