Edwin Charles Brady

Search results

• Type-level property based testing (dataset & code)

  Hansen, T. E. (Creator) & Brady, E. C. (Creator), GitHub, 2024

  https://github.com/CodingCellist/tyde-24-code

  Dataset

• Type-Theory as a Language Workbench

  Muijnck-Hughes, J. D. (Creator), Allais, G. (Creator) & Brady, E. (Creator), Zenodo, 2023

  DOI: 10.5281/zenodo.7573031

  Dataset

• RingIdris - Ring solver for Idris

  Slama, F. (Creator) & Brady, E. C. (Supervisor), GitHub, 10 Oct 2018

  https://github.com/FranckS/RingIdris and one more link, http://hdl.handle.net/10023/16451 (show fewer)

  Dataset: Thesis dataset