A tool for converting Telegram chat exports into a WhatsApp-compatible format. This script transforms JSON exports from Telegram into a plain text format that mirrors WhatsApp’s chat layout, making…

Serves files from github, bitbucket and gitlab, but with the correct content types

Benchmark a given function for variable input sizes and find out its time complexity

Recursive Arbitrary instances without headaches

Haskell sort as fast as C++

A unified framework for Cardano Smart Contract testing and benchmarking m

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)

Counterexamples in Type Systems

A frontend plugin for GHC to compile source code from the standard input

Setoid type theory implementation

Systematic concurrency testing meets Haskell.

Runtime Haskell interpreter

An optimizer for untyped plutus core

Where my everyday research happens

Generate tags file for haskell modules (GHC)

Provide warnings for unexpected Core generation

Analyze GHC .dump-timings files

Show commit message of current line in Emacs

Resource gathering + programming game

An application that lets you search for anything on Hackage

Emacs dabbrev-expand with preview and popup menu

Mark test cases as expected-failure

Tame RecordWildCards

Compiling Agda code to readable Haskell

Automatically trace all (showable) binds in do expressions