halide-haskell is a Haskell wrapper for Halide that allows you write and just-in-time compile high-performance array and image processing kernels.

My experience improving monad-bayes, the probabilistic programming language package, as a Tweag fellow.

TLDR; Benchmarking in Rust is now faster, easier, and runs in your browser. My name is David and for the past three months, Tweag has generously sponsored my work on criterion.rs. Criterion.rs is a widely used (with nearly 1.4 million downloads in the last 90 days) benchmarking…

A tutorial on how to write a type-checking plugin for GHC

In part two of this series on type-checking plugins, we will see how GHC's constraint solver works.

Why would you want to write a type-checking plugin? Many limitations of the GHC type-checker are exposed here.

Apostolos Chalkis introduces dingo, a package for the analysis of metabolic networks, on which he worked as part of this Tweag fellowship.

Announcing asciidoc-hs, a new AsciiDoc parser and converter in Haskell, adapted for use with Pandoc.

This post is about compiling refinement types into a dependently typed core language, my project as an Open Source Fellow for Tweag. The post assumes some passing familiarity with the concept of dependent types, and little else. By reading this post, you will learn what a…

Summary of the Tweag open source fellowship work related to ghcide

The second call for projects for the Tweag Open Source Fellowship is open and brings financial support and mentorship for Open source contributors.

Tweag introduces our first cohort of Open Source Fellows.

The first call for the new Tweag Open Source Fellowship is open. It offers financial support and mentorship to open source contributors.