# dapphub/klab

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

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

dapphub/klab, dépôt open source à 126 étoiles sur GitHub. Carte Prototype de RepoMasters. K framework proof explorer & smart contract specification format

| Champ | Valeur |
| --- | --- |
| Propriétaire | [dapphub](https://repo.masters-masters.com/owners/dapphub) |
| Étoiles | 126 |
| Forks | 32 |
| Langage | [JavaScript](https://repo.masters-masters.com/languages/javascript) |
| Licence | AGPL-3.0 |
| Création | 2018 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [dapphub/klab](https://github.com/dapphub/klab) |

## Fiche du dépôt

K framework proof explorer & smart contract specification format

Archivé : ce dépôt n’évolue plus

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de dapphub

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

## D’autres dépôts JavaScript

- [hg1048596-pixel/dsh-recall-unread · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/repos/hg1048596-pixel/dsh-recall-unread)
- [imatixofficel/Matix-edg · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/repos/imatixofficel/Matix-edg)
- [EternalNight996/memory-eternal · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/repos/EternalNight996/memory-eternal)
- [p2k/pygowave-legacy · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/repos/p2k/pygowave-legacy)
- [tobi/liquid-editor · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/repos/tobi/liquid-editor)
- [hatena/hatena-bookmark-googlechrome-extension · ★ 126 · JavaScript · Prototype](https://repo.masters-masters.com/repos/hatena/hatena-bookmark-googlechrome-extension)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.