svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
PascalBSD-3-Clause
Stargazers
- taktoa/nix/store
- akrmnZürich, Switzerland
- gabriel-fallenTbilisi, Georgia
- dpwiz
- ElijahLaMoonUkraine
- Nojpg
- TristanCacqueray
- acidicMercury8Russian Federation
- brendanzabMelbourne, Australia
- graememccGlasgow, Scotland
- d8ln3x
- catheart97Germany
- VhRvo
- mrstanbSwitzerland
- drone29aMT
- philnguyenSeattle, WA
- zmughalWashington, D.C. - Baltimore, Maryland area, United States of America, Earth, Galactic Sector ZZ9 Plural Z Alpha
- vonaviMoscow, Russia
- mu-mu-mu
- arbipherBaltimore, Maryland, USA
- 0xalpharush
- capsht
- pynchmeister
- VincenzoArceriParma