Aleks Kissinger

Results 2 repositories owned by Aleks Kissinger

dodo

120
Stars
12
Forks
120
Watchers

A graphical, hackable email client based on notmuch

verified publisher icon akissinger

chyp

123
Stars
5
Forks
123
Watchers

An interactive theorem prover for string diagrams

verified publisher icon akissinger