voila/plzoo
Programming Languages Zoo
Public GitHub Catalog
Discovered Sep 29, 2026
voila / idris-cph-exercises
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#16526545GitHub System ID
voilaOrganization / User
PublicVisibility
ActiveCatalog Status
More from voila
voila/urchat
A simple web chat with Ur/Web
voila/toylog
A simplistic prolog implementation for learning purposes
voila/etl-language-comparison
Count the number of times certain words were said in a particular neighborhood. Performed as a basic MapReduce job against 25M tweets. Implemented with different programming languages as a educational exercise.