NorfairKing

NorfairKing

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
354 Stars
48 Forks
18 Watchers

Repositories (2)

smos NorfairKing/smos Haskell

A comprehensive self-management System

314
easyspec NorfairKing/easyspec Haskell

Signature inference for Functional Property Discovery in Haskell

40