tomahawkins/improve
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
HaskellNOASSERTION
Stargazers
- vicMexico City
- mmkassemGermany
- yosukeJapan
- tianyicuiHong Kong
- lukasserAustria
- sw17chTacoma, WA
- jvranishGrand Rapids, MI
- pchickeyPortland, OR
- aculichBerkeley, CA
- ulan
- jack-pappasPhiladelphia, PA, USA
- kpykcPoland
- swetz6
- FerrisZorro
- zlqhem
- victoredwardocallaghanAustralia
- dungpaLondon, UK
- builtinnyaTokyo
- davidxifengTokyo,Japan
- shohei
- gsfyrakis
- sheganinansOrange, CA
- rosenk
- zhost
- tusjTrondheim, Norway
- lambdawb361
- phaseCalifornia
- DiGiTAL-CuRSe
- cpehleNew York
- shanemikel
- u-combinatorM a y b e I . n . E-A-R-T-H
- ikyp
- skull-squadronATX
- mailan2008
- directrix1
- elldritch