jonmsterling.com / project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant
Star
Fork 3
Watch
andrask.tngl.sh

Starred

ctheocharis.tngl.sh

Starred

bwshap.tngl.sh

Starred

odomontois.bsky.social

Starred

entropyfails.tngl.sh

Starred

lydia-schiff.tngl.sh

Starred

dunhamsteve.bsky.social

Starred

kokic.tngl.sh

Starred

jonmsterling.com

Starred

papunakki.bsky.social

Starred

cognidroid.tngl.sh

Starred

jaycech3n.tngl.sh

Starred

hon-gyu.tngl.sh

Starred

patrick.sirref.org

Starred

dannypsnl.tngl.sh

Starred

samtoth.tngl.sh

Starred

ktim.tngl.sh

Starred

lane.tngl.sh

Starred

owenlynch.tngl.sh

Starred

rwy7.tngl.sh

Starred

tswilkinson.tngl.sh

Starred