lee-naish
Mostly retired computer science academic with metastatic prostate cancer
The University of MelbourneMelbourne, Australia
Pinned Repositories
algorithms-in-action.github.io
Algorithm visualiser with stepwise refinement
html_feedback
Supports a student project developing a UI for feedback on arXiv articles rendered as html.
Adt4c
This project aims to apply the Algebraic data types for the language C which supports the pattern matching, type checker scheme and a tricky tag scheme.
community
Public feedback discussions for: GitHub Mobile, GitHub Discussions, GitHub Codespaces, GitHub Sponsors, GitHub Issues and more!
Adt4c
Algebraic data type support for C. Earlier version of the adtpp tool, which is the preferred option. See https://github.com/lee-naish/adtpp
adtpp
adtpp tool to support algebraic data types in C
algorithms-in-action_specs
Work on specifications for algorithms-in-action system (new algorithms etc)
dev-aia.github.io
copy of algorithm-in-action for web hosting of dev version
lee-naish.github.io
Home page migrated from https://people.eng.unimelb.edu.au/lee/
Pawns
Pawns declarative/imperative programming language
lee-naish's Repositories
lee-naish/Pawns
Pawns declarative/imperative programming language
lee-naish/algorithms-in-action_specs
Work on specifications for algorithms-in-action system (new algorithms etc)
lee-naish/Adt4c
Algebraic data type support for C. Earlier version of the adtpp tool, which is the preferred option. See https://github.com/lee-naish/adtpp
lee-naish/adtpp
adtpp tool to support algebraic data types in C
lee-naish/dev-aia.github.io
copy of algorithm-in-action for web hosting of dev version
lee-naish/lee-naish.github.io
Home page migrated from https://people.eng.unimelb.edu.au/lee/
lee-naish/my-aia.github.io
Copy of git:github.com/algorithms-in-action/algorithms-in-action.github.io for testing deployment on github