svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
PascalBSD-3-Clause
Stargazers
- acieroidUQAM
- alexpeitsLondon, UK
- buggymcbugfixUniversity of Kent
- chshershBloomberg
- chuahouUniversity of Oxford
- csabahruskaLondon
- dmalikov
- dmjioAustin, TX
- dredozubov
- dvasiliauskasDublin, Ireland
- ejconlonwest coast
- esmolanka
- flupeTU Delft
- freeman42xGuardians of Life
- ggreif@dfinity-lab
- gridaphobeNew York
- joelburget@google
- KraksPurdue University
- Nzen
- progerSupercomputer City
- pSub@red6 enterprise software
- romac@informalsystems
- s0kilTryon, NC, USA
- sgraf812Karlsruhe, Germany
- shhyouTaipei, Taiwan
- steshaw@tweag
- svenkeidelTU Darmstadt
- themattchan@awakesecurity
- thombuecher
- tkersey@thisisartium
- tomtomjhj
- velveteerH-E-B
- wouterraatelandRaateland Digital
- xavierpinhoBraga, Portugal
- yurrriq@sportradar
- yuxuanchen1997Meta Platforms, Inc. @facebook