UU-ComputerScience/uhc-pubs
Publications
Developer Profile
UU-ComputerScience
Discovered public repositories for UU-ComputerScience in the GitHub catalog.
UU-ComputerScience/ruler
Ruler tool used by UHC (Utrecht Haskell Compiler)
UU-ComputerScience/shuffle
Shuffle tool used by UHC (Utrecht Haskell Compiler)
UU-ComputerScience/uhc-util
Utilities required by UHC (Utrecht Haskell Compiler)
UU-ComputerScience/js-asteroids
An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
UU-ComputerScience/uhc
Public repository.
UU-ComputerScience/uhc-js
Public repository.
UU-ComputerScience/JCU
Public repository.
UU-ComputerScience/NanoProlog
Public repository.