Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "teaching-tools" keyword
anita 0.1.13
ANITA is a proof assistant for teaching analytic tableaux to computer science students. ANITA all...13 versions - Latest release: 7 months ago - 41 downloads last month - 20 stars on GitHub - 1 maintainer
textanalytics 1.1
Basic computational linguistics and natural language processing in Python2 versions - Latest release: almost 3 years ago - 1 dependent repositories - 57 downloads last month - 116 stars on GitHub - 1 maintainer
countdown-cli 1.0.2
Terminal program to display countdown timer5 versions - Latest release: over 2 years ago - 81 downloads last month - 21 stars on GitHub - 1 maintainer
Related Keywords
Analytic Tableaux
1
Teaching Logic
1
Educational Software
1
analytic-tableaux
1
logic
1
proof-assistant
1
text analytics
1
natural language processing
1
computational linguistics
1
computational-linguistics
1
natural-language-processing
1
nlp
1
nlp-teaching
1
text-analytics
1
text-classification
1
kitchen-timer
1
presentation-tools
1
terminal-based
1
timer
1