Joachim Breitner

incredible. The Incredible Proof Machine

arbtt. arbtt, the automatic rule-based time-tracker

inspection-testing. Inspection Testing for Haskell

loogle. Mathlib search tool

ghc-proofs. Let GHC prove program equations for you

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

ghc-justdoit. A magic typeclass that just does it

gtk-vector-screenshot. C

veggies. Hopefully verifiable code generation in GHC

gipeda. Git Performance Dashboard

screen-message. Very simple tool to display some text as large as possible

haskell-for-readers. Lecture notes for teaching Haskell to those who want to read it

git-multisect. find git commits that matter

ghc-heap-view. Extract the heap representation of Haskell values and thunks

bisect-binary. Tool to determine relevant parts of binary data

haskell-on-fastly. Experiments about running Haskell via WebAssembly on Fastly

kaleidogen. Grow procedual art

lean-calcify. Lean

cabal-plan-bounds. Calculate Haskell dependency ranges from multiple build plans

ic-telegram-bot. A telegram bot on the Internet Computer

bSpokeLight. Custom firmware for the YQ8003 bicycle spoke light

haskell-bounds-bump-action. Create PR to bump Haskell dependency bounds

ic-http-lambda. A HTTP-to-IC bridge (proof of concept)

secp265k1-lookup-table. A lookup table for the discrete log in secp265k1

ghcjs2gh-pages. Example repository setup that deploys GHCJS programs to GitHub Pages

tasty-expected-failure. Mark test cases as expected-failure

ic-certification. Motoko library for all things related to certification

containers-verified. A package re-exporting the verified subset of containers

haskell-via-sokoban. A haskell tutorial using CodeWorld

capture-the-ic-token. Hack the canister, get the token

haskell-rec-def. APIs for more recursive definitions

motoko-certified-http. A motoko canister that can server certified HTTP assets

lean-wf-induct. Lean

safe-docker. Sandbox untrusted code using docker

pybotbrain. Learn programming with Python and Telegram

ic-barrier. Delay responses on the Internet Computer, for testing and other purposes

haskell-successors. An applicative functor to manage successors

mitschriebwiki. Source for http://mitschriebwiki.nomeata.de/

motoko-sbc2020. Code for Motoko talk at SBC2020

you-say-first. You Say First!

smime-smtp-proxy. Python

lean-trie. Lean