Blog posts
Announcing halide-haskell - a Haskell interface for the Halide image and array processing languageJune 08, 2023
Improving the Probabilistic Programming Language monad-bayesOctober 18, 2022
Improving Criterion.rsMarch 03, 2022
Type-checking plugins, Part III: writing a type-checking pluginFebruary 17, 2022
Type-checking plugins, Part II: GHC's constraint solverDecember 09, 2021
Type-checking plugins, Part I: Why write a type-checking plugin?October 21, 2021
Searching for COVID-19 treatments using metabolic networksJuly 14, 2021
An AsciiDoc processor and Pandoc front-end in HaskellJune 15, 2021
Integrating refinement and dependent types: a fellowship reportFebruary 05, 2021
Making GHCIDE smarter and faster: a fellowship summaryOctober 07, 2020
Fall 2020 Fellowships: Funding for Open Source ContributorsJuly 28, 2020
Tweag Open Source FellowsJune 05, 2020
Tweag Fellowships: Funding for Open Source ContributorsFebruary 14, 2020
