15 open source projects by nomeata

arbtt, the automatic rule-based time-tracker

Inspection Testing for Haskell

Let GHC prove program equations for you

A magic typeclass that just does it

Hopefully verifiable code generation in GHC

Small daemon to relay udp broadcast packages on a different subnet.

Mark test cases as expected-failure

The Incredible Proof Machine

Custom firmware for the YQ8003 bicycle spoke light

A HTTP-to-IC bridge (proof of concept)

Example repository setup that deploys GHCJS programs to GitHub Pages

Tool to determine relevant parts of binary data

A lookup table for the discrete log in secp265k1

A package re-exporting the verified subset of containers

Grow procedual art