Explore @OctopiChalmers Open Source projects

Octopi (@OctopiChalmers)

OctopiChalmers

Stars
26
Global Org. Rank 106,210 (Top 34 %)
Registered about 6 years ago
Most used languages

Haskell
88.9 %

Agda 11.1 %
Location 🇸🇪 Sweden
Country Total Rank 4,699
Country Ranking

Agda 11

Haskell
48

haski

dragen

Branching processes for QuickCheck generators

BinderAnn

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

OptimisingFSME

Supplementary material to "Optimising Faceted Secure Multi-Execution"

mutagen

Property-Based Testing framework using exhaustive mutations.

PropProver

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

hpatterns

Playing around with pattern matching representation

dragen2

QuickCheck utilities to generate structured data.

BinderAnn-examples

Case studies of the BinderAnn GHC plugin