danieljharvey

horses

small programming language. pls be gentle.

graphql-codegen-fast-check

Generate Fastcheck arbitraries from GraphQL Schema

wasm-calc

Building a compiler to WASM step-by-step

it-is-the-purescript-egg

Remaking the same goddamn thing AGAIN

llvm-calc

Companion code for llvm tutorial

purescript-radox-example

Example app for purescript-radox library

mimsa

The old mimsa

property-testing

A quick intro and demonstration repo for property testing in Typescript

reason-egg

It is the egg but made using Reprocessing, I suppose.

ts-contract-tests

Testing repo for contract tests in Typescript

danieljharvey.github.io

Website with the stuff in it

dotfiles

Yep, those. Probably the worst ones ever.

mega-haskell

All of things for the blog

10x

Count them.

benjamin-harvey

Internet website for Benjamin Harvey

build

Arsing around with building things

docker-and-nix

docker-lighthouse

Oh lord, grant me strength.

good-times-with-wasm

Experiments with creating WASM IR from Rust

llvm-hs

Haskell bindings for LLVM

nested-context

TIL

oh-no

My worst idea yet

prometheus-haskell

Haskell client library for exposing prometheus.io metrics.

refinements

Presentation

route-face

sean-2

validation-strategies

vim-calc

vim-mimsa

Syntax colouring etc

website-face

Hakyll site for danieljharvey.github.io about mostly Haskell shit at the moment.