davidfstr/plint
A Python type checker and linter that just works.
Public GitHub Catalog
Discovered Oct 7, 2026
davidfstr / direncode
Encodes all video files from a source directory to a target directory, optionally continuously.
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.
#34174582GitHub System ID
davidfstrOrganization / User
PublicVisibility
ActiveCatalog Status
More from davidfstr
davidfstr/idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
davidfstr/Uhuru
A translation assistant for reading Japanese text quickly.
davidfstr/tic-tac-idris
Tic-tac-toe game written in Idris.