Discokitty
An educational implementation of some aspects of the DisCoCat framework
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Telerik Academy | 185 | 2 years ago | mit | C# | ||||||
| Course exercises | Telerik Academy 2013/2014 | Martin Nikolov | ||||||||||
| Lpic 1 Anki Flashcards | 99 | 3 years ago | 5 | other | ||||||
| Deck of Anki flashcards for the LPIC-1 (Linux System Administrator) exams 101 and 102 of the Linux Professional Institute (LPI). | ||||||||||
| Eos | 99 | 2 years ago | 1 | mit | C | |||||
| EOS is an educational operating system for x86 platform | ||||||||||
| Eventloop | 56 | 4 months ago | HTML | |||||||
| :heart: Passionate about Technology & Tech Education | ||||||||||
| Ar For Eu Book | 9 | 2 years ago | 3 | other | SCSS | |||||
| Editing Environment for the Open Augmented Reality Teaching Book | ||||||||||
| Discokitty | 7 | a year ago | May 15, 2019 | gpl-3.0 | Haskell | |||||
| An educational implementation of some aspects of the DisCoCat framework | ||||||||||
| Tracker | 6 | 4 months ago | 66 | mit | Ruby | |||||
| Student progress tracking for Mindleaps | ||||||||||
Alternatives To DiscokittySelect To Compare
Alternative Project Comparisons
Popular Education Projects
Popular Progress Projects
Popular Learning Resources Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Education
Progress
Tikz
Category Theory