nathdobson/systemfomega
A research platform for recursive type inference on an extension of System F Omega
Public GitHub Catalog
Discovered Sep 26, 2026
nathdobson / broadside
An LGPL library for dart graphics and games.
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.
#5733440GitHub System ID
nathdobsonOrganization / User
PublicVisibility
ActiveCatalog Status
More from nathdobson
nathdobson/jdfa
A java based graphical editor for Finite State Machines.