NorfairKing

NorfairKing

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
351 Stars
48 Forks
351 Watchers

Repositories (2)

smos NorfairKing/smos Haskell

A comprehensive self-management System

313
easyspec NorfairKing/easyspec Haskell

Signature inference for Functional Property Discovery in Haskell

38