coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
@input-output-hk
coot's Stars
actions/checkout
Action for checking out a repo
tmate-io/tmate
Instant Terminal Sharing
actions/cache
Cache dependencies and build outputs in GitHub Actions
actions/upload-artifact
BartoszMilewski/Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
UnkindPartition/tasty
Modern and extensible testing framework for Haskell
oetiker/znapzend
zfs backup with remote capabilities and mbuffer integration.
joelparkerhenderson/github-special-files-and-paths
GitHub special files and paths, such as README, LICENSE, .github, docs, dependabot, workflows.
jaspervdj/profiteur
Visualiser for Haskell (GHC) prof files
haskell/actions
Github actions for Haskell CI
utdemir/ghc-musl
Docker image with GHC+musl for static executables
marcosh/crem
Compositional Representable Executable Machines
codedownio/time-ghc-modules
Analyze GHC .dump-timings files
haskell/win32
Haskell support for the Win32 API
phadej/cabal-extras
A tool suite to aid Haskell development using `cabal-install`
fpco/ghc-prof-flamegraph
well-typed/ghc-events-analyze
bgamari/ghc-debug
Moved to Haskell.org GitLab.
nomeata/ghc-heap-view
Extract the heap representation of Haskell values and thunks
maoe/viewprof
Text-based interactive GHC .prof viewer
input-output-hk/io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
mzabani/codd
Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema equality checks.
haskell/ghc-events
Library and tool for parsing .eventlog files from GHC
ndmitchell/profiterole
GHC prof manipulation script
mpickering/hs-speedscope
NorfairKing/dekking
input-output-hk/ops-lib
NixOps deployment configuration library for IOHK devops
maoe/ghc-prof
Library for parsing GHC time and allocation profiling reports
input-output-hk/ce-semantics-dsl
Denotational semantics for the masses
phadej/cabal-plan