Johannes Kanig

bitcoin-ada. Ada

aoca. Advent of Code in Ada

fulcrum. Fulcrum implementation in SPARK

leftpad. Leftpad implementation in SPARK

bresenham. Proof of Bresenham in SPARK

who. Why Higher Order

base58. Base58 encoding in Ada/SPARK

uniq-vec. Unique vector implementation in SPARK

inflate. a DEFLATE / zlib / gzip / ZIP decoder in SPARK

cat. Playing with low-level IO and SPARK

compress. Ada