AndrasKovacs/misc-stuff
Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
AgdaMIT
Stargazers
- anqurvanillapy@Shopee
- brendanzab@yeslogic
- celsobonutti@NoRedInk
- dannypsnl@second-state
- effectfully
- forked-from-1kasperMilky Way, Solar System, Earth
- hussein-aitlahcenBlock 6.282e+10
- ice1000@plctlab
- juanbono@lambdaclass
- Matthew-MosiorAustin, TX
- mietek
- noghartt@firefliesai
- oisdkCork, Ireland
- pythonesqueLanetix
- secondwtqSichuan University
- staroperator
- tkersey@thisisartium
- WorldSEnderWorldwide
- ZiruiOu