Skip to content
@OctopiChalmers

Octopi

A platform for programming secure IoT applications.

Popular repositories

  1. haski haski Public

    Haskell 8

  2. dragen dragen Public

    Branching processes for QuickCheck generators

    Haskell 6 2

  3. BinderAnn BinderAnn Public

    BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

    Haskell 4 3

  4. OptimisingFSME OptimisingFSME Public

    Supplementary material to "Optimising Faceted Secure Multi-Execution"

    Agda 2 1

  5. mutagen mutagen Public

    Property-Based Testing framework using exhaustive mutations.

    Haskell 2

  6. dragen2 dragen2 Public

    QuickCheck utilities to generate structured data.

    Haskell 1 1

Repositories

Showing 10 of 14 repositories
  • mutagen Public

    Property-Based Testing framework using exhaustive mutations.

    OctopiChalmers/mutagen’s past year of commit activity
    Haskell 2 MIT 0 0 0 Updated Mar 15, 2023
  • BinderAnn Public

    BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

    OctopiChalmers/BinderAnn’s past year of commit activity
    Haskell 4 BSD-3-Clause 3 0 0 Updated Nov 10, 2021
  • hpatterns Public

    Playing around with pattern matching representation

    OctopiChalmers/hpatterns’s past year of commit activity
    Haskell 1 MIT 0 0 0 Updated Aug 21, 2021
  • haski Public
    OctopiChalmers/haski’s past year of commit activity
    Haskell 8 BSD-3-Clause 0 1 0 Updated Jun 12, 2021
  • PropProver Public

    An embedded DSL in Haskell for proving propositional logic stuff kinda interactively.

    OctopiChalmers/PropProver’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 0 0 Updated May 17, 2020
  • dragen Public

    Branching processes for QuickCheck generators

    OctopiChalmers/dragen’s past year of commit activity
    Haskell 6 BSD-3-Clause 2 2 0 Updated May 17, 2020
  • BinderAnn-examples Public

    Case studies of the BinderAnn GHC plugin

    OctopiChalmers/BinderAnn-examples’s past year of commit activity
    Haskell 1 0 0 0 Updated Mar 19, 2020
  • estructs Public
    OctopiChalmers/estructs’s past year of commit activity
    0 MIT 0 0 0 Updated Dec 17, 2019
  • dragen2 Public

    QuickCheck utilities to generate structured data.

    OctopiChalmers/dragen2’s past year of commit activity
    Haskell 1 BSD-3-Clause 1 2 0 Updated Sep 9, 2019
  • CSrankings Public Forked from emeryberger/CSrankings

    Adding Chalmers Faculties to CSranking.

    OctopiChalmers/CSrankings’s past year of commit activity
    Python 0 3,092 0 0 Updated Jun 22, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…