PrototypeCommon
dapphub/klab
K framework proof explorer & smart contract specification format
Archived: this repository is read-only
- Owner
- dapphub (organization)
- Stars
- Stars: 126
- Forks
- Forks: 32
- Language
- JavaScript
- License
- AGPL-3.0
- Created
- 2018
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by dapphub
All 13 repos by dapphub- dapphub/dapptoolsStars: 2,123HaskellRC
- dapphub/dappsysStars: 565NixAlpha
- dapphub/ds-proxyStars: 321SolidityAlpha
- dapphub/dappleStars: 299JavaScriptAlpha
- dapphub/ds-mathStars: 276SolidityAlpha
- dapphub/dappStars: 249Prototype
Nearby in JavaScript
All JavaScript repos- jarrodwatts/intermissionStars: 126JavaScriptPrototype
- ShadowSwaps/REA-Reconstruction-CompanionStars: 126JavaScriptPrototype
- KarmenLoop/koder-cliStars: 126JavaScriptPrototype
- p2k/pygowave-legacyStars: 126JavaScriptPrototype
- tobi/liquid-editorStars: 126JavaScriptPrototype
- hatena/hatena-bookmark-googlechrome-extensionStars: 126JavaScriptPrototype