jthemphill/codenames
Quick and dirty python script to play a game of Codenames
Public GitHub Catalog
Discovered Oct 1, 2026
jthemphill / idris-tutorial
A tutorial to the Idris Programming Language.
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.
#21933879GitHub System ID
jthemphillOrganization / User
PublicVisibility
ActiveCatalog Status
More from jthemphill
jthemphill/IteratedPrisonersDilemma
Plays a game of Iterated Prisoner's Dilemma, making it easy to create your own players and pit them up against the Greats.
jthemphill/love-letter
An attempt to write bots for the game Love Letter.
jthemphill/slask
A slack chatbot written in python with flask and postgresql