Wolf Honore

Advanced
@whonore
whonore.github.io/

Coqtail. Interactive Coq Proofs in Vim

324

vim-sentencer. One sentence per line and wrap long lines.

6

ImageEvolver. Uses a Genetic Algorithm to evolve random shapes towards a given image.

3

FunProofs. Short, fun proofs in Coq

3

solidity.ctags. Universal Ctags optlib parser for Solidity

2

WikiDistance. Program to calculate the "distance" from Wikipedia pages to the Philosophy page.

2

vim-blueper. A blueish Vim color scheme.

1

proofaday. Print random proofs from ProofWiki

1

CerTiger. A certified compiler for the Tiger language

1

whonore.github.io. Python

1

LITHP. Lambdas ImplemenTed Handily in Python

1
11
Apply