spratt/types.py
An implementation of Damas-Hindley-Milner's Algorithm W for infering types
Public GitHub Catalog
Discovered Sep 25, 2026
spratt / ZeroFile
A script that takes a directory and indicates whether the directory (or subdirectory) contains a zero-length file.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#4421671GitHub System ID
sprattOrganization / User
PublicVisibility
ActiveCatalog Status
More from spratt
spratt/dfs.py
DFS in python
spratt/ccss-website
The source behind ccss.carleton.ca
spratt/Java-Project-Template
A template for building Java projects from the command line using GNU Make.