Rafal Kolanski

AutoCorres2

by Matthew Brecknell, David Greenaway, Johannes Hölzl 📧, Fabian Immler 📧, Gerwin Klein 📧, Rafal Kolanski 📧, Japheth Lim, Michael Norrish, Norbert Schirmer 📧, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer

Finite Machine Word Library

by Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein 🌐, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk and Thomas Sewell

Separation Algebra

by Gerwin Klein 📧, Rafal Kolanski 📧 and Andrew Boyton 📧