Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Talks | 35 | 4 years ago | cc0-1.0 | TeX | ||||||
Talk slides for recent presentations | ||||||||||
Advancedmath | 19 | 4 years ago | mit | Jupyter Notebook | ||||||
This is a repository with material for the course Advanced Mathematics for Engineers | ||||||||||
Ai Resource | 18 | 5 years ago | ||||||||
Collection of resources for AI | ||||||||||
Picalc To Rholang | 6 | 6 years ago | 2 | HTML | ||||||
Learning materials including slides, exercises, etc for our discussion of the pi calculus. |