nathdobson/systemfomega
A research platform for recursive type inference on an extension of System F Omega
Discovered public repositories for nathdobson in the GitHub catalog.
A research platform for recursive type inference on an extension of System F Omega
A java based graphical editor for Finite State Machines.
An LGPL library for dart graphics and games.