3
Repos
28
Stars
1
Forks
28
Watchers
Repositories (3)
theoremdep-source
sharmaeklavya2/theoremdep-source
HTML
Source files for TheoremDep - a theorem dependency tracker
20
1
concepdag
sharmaeklavya2/concepdag
Python
Generate a prerequisite-tracking static website. Similar to metacademy.
7
0
webcomic-offliner
sharmaeklavya2/webcomic-offliner
Python
Download webcomics for offline viewing
1
0