well-typed Goto Github PK

iosim-zurihac-2022

ismm-2020-nonmoving-gc

Online appendix for "Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages"

ixset-typed

More strongly typed variant of the ixset Haskell package

json-sop

Generic JSON (de)serialization using generics-sop

l4-dsl

Domain Specific Languages for Computational Law

large-records

Library to support efficient compilation of large records (linear in the number of record fields)

lazy-evaluation-zurihac-2023

Slides and code for the ZuriHac 2023 talk on Lazy Evaluation

lens-sop

Computing lenses generically using generics-sop

lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

libedsign

Small, high-security cryptographic signing library

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

memory-profiling-webinar

Source code for the memory profiling webinar livestreamed at Dec 1, 2022

memory-usage-munihac-2022

Materials for the MuniHac 2022 "Profiling Memory Usage with eventlog2html and ghc-debug" workshop.

memory-usage-zurihac-2021

nothunks-prelude

open

Filopodia open-source monorepo

optics

Optics as an abstract interface

optics-zurihac-2021

parsing-munihac2023

Materials for the MuniHac 2023 workshop on parser combinators

plutonomy

An optimizer for untyped plutus core

pretty-sop

A generic pretty-printer using generics-sop

private-dependencies-examples

Examples of using the proposed private dependencies feature in Cabal

qsm-in-depth

Demo code for the blog post "An in-depth look at quickcheck-state-machine"

quickcheck-lockstep

Support for lockstep-style testing using quickcheck-dynamic

recover-rtti

Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).

redblack

snappy-c

Bindings to the C API Google's Snappy: A fast compression library

sop-haddocks

Get access to Haddocks in `generics-sop` style generic functions

specialist

GHC plugin for surgical specialization

staging-bobkonf2024

Materials for the BOBkonf 2024 tutorial on staging