# dapphub/klab

<https://repo.masters-masters.com/en/repos/dapphub/klab>

[Home](https://repo.masters-masters.com/en) › [dapphub](https://repo.masters-masters.com/en/owners/dapphub) › [klab](https://repo.masters-masters.com/en/repos/dapphub/klab)

dapphub/klab has 126 stars on GitHub. Its RepoMasters card: Prototype tier. K framework proof explorer & smart contract specification format

| Field | Value |
| --- | --- |
| Owner | [dapphub](https://repo.masters-masters.com/en/owners/dapphub) |
| Stars | 126 |
| Forks | 32 |
| Language | [JavaScript](https://repo.masters-masters.com/en/languages/javascript) |
| License | AGPL-3.0 |
| Created | 2018 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [dapphub/klab](https://github.com/dapphub/klab) |

## Repository

K framework proof explorer & smart contract specification format

Archived: this repository is read-only

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by dapphub

- [dapphub/dapptools · ★ 2,123 · Haskell · RC](https://repo.masters-masters.com/en/repos/dapphub/dapptools)
- [dapphub/dappsys · ★ 565 · Nix · Alpha](https://repo.masters-masters.com/en/repos/dapphub/dappsys)
- [dapphub/ds-proxy · ★ 322 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/dapphub/ds-proxy)
- [dapphub/dapple · ★ 299 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/dapphub/dapple)
- [dapphub/ds-math · ★ 276 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/dapphub/ds-math)
- [dapphub/dapp · ★ 249 · Prototype](https://repo.masters-masters.com/en/repos/dapphub/dapp)

## Nearby in JavaScript

- [imatixofficel/Matix-edg · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/imatixofficel/Matix-edg)
- [JinJieBeWater/herdr-t3 · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/JinJieBeWater/herdr-t3)
- [PatchBuilderAmplify/stolen-crypto-tracer · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/PatchBuilderAmplify/stolen-crypto-tracer)
- [p2k/pygowave-legacy · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/p2k/pygowave-legacy)
- [tobi/liquid-editor · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/tobi/liquid-editor)
- [hatena/hatena-bookmark-googlechrome-extension · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/hatena/hatena-bookmark-googlechrome-extension)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.