Language
Standard ML
28 repositories · 379 stars · 186 forks
Top repos · by stars
81 stars
8 devs
59 stars
29 devs
verifereum/verifereum
Prove functional correctness of Ethereum smart contracts in higher-order logic
50 stars
10 devs
41 stars
4 devs
31 stars
13 devs
30 stars
7 devs
10 stars
1 devs
9 stars
3 devs
input-output-hk/testnet-stake-pool-registry
WARNING: not the production stake pool registry. That will be announced later.
8 stars
4 devs
8 stars
4 devs
cosmos/security
Cosmos Security contains guidelines (and tools in the future) for a responsible security incident disclosure
7 stars
5 devs
BitcoinUnlimited/BitcoinUnlimitedWebDownloadHistory
Storage for previous releases
5 stars
2 devs
tronprotocol/solc-bin
This repository contains current and historical builds of the TRON Solidity Compiler.
4 stars
3 devs
3 stars
1 devs
3 stars
2 devs
1 stars
8 devs
1 stars
3 devs
0 stars
97 devs
0 stars
1 devs
0 stars
1 devs
0 stars
92 devs
0 stars
19 devs
HelixNetwork/helix-dao-data
Maintains the helix network validator-, trustee- and notary-addresses, global genesis time and snapshots.
0 stars
2 devs