Tim Dwyer

O GeckoGraph simplifica a compreensão de tipos polimórficos através de representação visual.

Goanna melhora a reportação de erros e a depuração para programadores Haskell.

Uma olhada em como provas visuais melhoram a validação de propriedades de grafos.

A tecnologia AR transforma as inspeções de segurança para os trabalhadores da construção, melhorando a segurança e a eficiência.