effectfully

rawgithack

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

typist

plutus-equality-values-testsuite

tasty-bench-fit

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

safe-gen

Recursive Arbitrary instances without headaches

vector-quicksort

Haskell sort as fast as C++

plutus-bench

A unified framework for Cardano Smart Contract testing and benchmarking m

linear-builder

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

hoas-conv

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

counterexamples

Counterexamples in Type Systems

ghc-stdin

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

sett

Setoid type theory implementation

dejafu

Systematic concurrency testing meets Haskell.

hint

Runtime Haskell interpreter

plutonomy

An optimizer for untyped plutus core

potpourri

Where my everyday research happens

ghc-tags-plugin

Generate tags file for haskell modules (GHC)

core-warn

Provide warnings for unexpected Core generation

time-ghc-modules

Analyze GHC .dump-timings files

vc-msg

Show commit message of current line in Emacs

swarm

Resource gathering + programming game

hackage-search

An application that lets you search for anything on Hackage

fancy-dabbrev

Emacs dabbrev-expand with preview and popup menu

tasty-expected-failure

Mark test cases as expected-failure

generics

safe-wild-cards

Tame RecordWildCards

agda2hs

Compiling Agda code to readable Haskell

optionally

what-it-do

Automatically trace all (showable) binds in do expressions

hs-tags

Generate ctags and etags for Haskell files