ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
HaskellNOASSERTION
Stargazers
- abduld
- caballaCertora
- csabahruskaLondon
- cy20linTaipei City, Taiwan
- eakuefner
- ebigram
- fiigii@NVIDIA
- frankshearar@microsoft
- ilyasergeyNational University of Singapore
- jmid@tarides
- jroeschNVIDIA
- KraksINRIA/ENS; Tufts
- mattgreenSystems and Technology Research
- sleexyzwebsim
- stelleg@lanl
- tca
- tekknolagi@nuprl
- thaumkid
- themattchan@awakesecurity
- travitchAWS
- xavierpinhoBraga, Portugal