MatthewDaggitt
Follow
-
AgileWebDev2026 Public
Example repository for UWA Agile Web Dev 2026
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedSep 10, 2025 -
A script for scraping GitHub information for marrking the Group Project for Agile Web Dev at UWA
-
-
AshCalc Public
Python modules for calculating Exponential, Power law and Weibull distributions
-
AgileWebDevDemo Public
Example code for showing the awesomeness of web dev
-
agda-routing Public
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
-
prettyprinter Public
Forked from haskell-prettyprinter/prettyprinterA modern, extensible and well-documented prettyprinter.
Haskell BSD 2-Clause "Simplified" License UpdatedJun 28, 2021 -
nnenum Public
Forked from stanleybak/nnenumNeural Network Enumeration Tool
Python GNU General Public License v3.0 UpdatedJun 15, 2021 -
language-server-protocol Public
Forked from microsoft/language-server-protocolDefines a common protocol for language servers.
-
UKRacketlon Public
Joomla template and custom components for the UK Racketlon website (www.racketlon.co.uk)
-
PathVision Public
Python tool for visualising algebraic best-path problems
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
-
Oponn Public
Monte-Carlo Tree Search based Risk Agent for Lux Deluxe