kframework/kweb
Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
Python
Watchers
- ACassimiro
- andreistefanescu@GaloisInc
- bmmoore
- Boarders
- chathhorn
- dlucanuAlexandru Ioan Cuza University of Iasi
- dwightguth@Pi-Squared-Inc
- eemailme
- ehildenb
- geo2aNewcastle University
- grosuUniversity of Illinois at Urbana-Champaign
- jhcloos
- kheradmandUniversity of Illinois at Urbana-Champaign
- marickExampler Consulting
- MirceaSUIUC/Pi Squared
- msaxena2University of Illinois at Urbana Champaign
- nishantjr
- pdaian@initc3
- phillipharr1sMadison, WI
- pmackay1982
- RaoulSchaffranekRuntime Verification
- shd101wyyMars, Solar system, Universe
- traiansf@fmi-unibuc, @ilds-institute, @pi-squared-inc
- vasil-sd