Tim Dwyer

GeckoGraph simplifies the understanding of polymorphic types through visual representation.

Goanna improves error reporting and debugging for Haskell programmers.

A look at how visual proofs enhance graph property validation.

AR technology transforms safety inspections for construction workers, enhancing security and efficiency.