Brian McKenna's repositories
wat-collection
Collection of "wat" moments in various languages
git-log-impact
Shows a chart of lines added to a repository (as recorded by git log)
dataflow
Render graphs using a declarative markup.
DefinitelyTyped
The repository for high quality TypeScript type definitions.
docker-codescene-nginx-self-signed-ssl
Packages CodeScene in one container, Nginx proxy with self-signed cert in another, and composes them to one service. Ideas from codeclou/docker-nginx-self-signed-ssl.
dynamic
Dynamic typing in Haskell
hnix-store
Haskell implementation of the nix store API
hoogle
Haskell API search engine
introduction-to-fp-in-scala
A softer introduction to fp in scala course, based on patterns-in-types and the nicta course.
junit5-samples
Collection of sample applications using JUnit 5.
katip
A structured logging framework for Haskell
nix-linter
Linter for the Nix expression language
ofborg
@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg
rules_jvm_external
Rules to resolve and fetch artifacts transitively from Maven repositories
rules_kotlin
Bazel rules for Kotlin
sofp
The Science of Functional Programming book
stack2nix
Generate nix expressions for Haskell projects
stackage
"Stable Hackage": vetted consistent packages from Hackage
structurizr-java
Structurizr for Java
terrafomo
Le Fromage de Terreur - Auto-generated Terraform DSL
twitchcoq
A highly typed language we can prove things in
unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
wai
Haskell Web Application Interface
wiki
Research wiki