svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
PascalBSD-3-Clause
Stargazers
- pSubHamburg, Germany
- ggreifBavaria, Germany
- Kraks
- joelburgetPortland, OR
- yuxuanchen1997Menlo Park, CA
- buggymcbugfixNowhere
- dvasiliauskasDublin, Ireland
- progerSupercomputer City
- tkerseyLos Angeles, CA
- shhyouTaipei, Taiwan
- esmolanka
- steshawBrisbane, Australia
- wouterraatelandNetherlands
- acieroidMontréal, Canada
- alexpeitsLondon, UK
- tomtomjhj
- chshershLondon, UK
- romacLausanne, Switzerland
- themattchan
- freeman42x@ancstrsim-v4.2
- dmalikov
- gridaphobeNew York
- yurrriqMinneapolis, MN
- Nzen
- s0kil
- svenkeidelMainz-Kastel, Germany
- sgraf812Karlsruhe, Germany
- chuahouSingapore
- dredozubov
- thombuecher
- xavierpinhoBraga, Portugal
- flupeDen Haag, NL
- csabahruskaLondon
- dmjio
- ejconlonwest coast
- velveteerSan Antonio