hackage.haskell.org maintainers: ugeorge
View the packages maintained by ugeorge on the hackage.haskell.org package registry, including their contributions and dependencies.
forsyde-deep 0.2.0
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...1 version - Latest release: about 7 years ago - 1 dependent repositories - 755 downloads total - 3 maintainers
ForSyDe 3.1.1
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...3 versions - Latest release: over 15 years ago - 3.87 thousand downloads total - 4 maintainers
parameterized-data 0.1.6
This library provides an implementation of parameterized types using type-level computations to i...6 versions - Latest release: over 9 years ago - 1 dependent repositories - 4.86 thousand downloads total - 4 maintainers
forsyde-shallow 3.5.0.0
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...6 versions - Latest release: almost 5 years ago - 2 dependent repositories - 2.96 thousand downloads total - 3 maintainers
type-level 0.3.0
This library permits performing computations on the type-level. Type-level functions are implemen...7 versions - Latest release: over 9 years ago - 2 dependent packages - 6 dependent repositories - 7.71 thousand downloads total - 5 maintainers