Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Klab

K framework proof explorer & smart contract specification format
Stars
100
License
agpl-3.0
Open Issues
65
Most Recent Commit
3 years ago
Programming Language
JavaScript
Categories
Repo
Suggest An Alternative To klab
Popular Evm Projects
Go Ethereum ⭐ 44,614
Official Go implementation of the Ethereum protocol
dependent packages 3,318total releases 672latest release November 14, 2023most recent commit 3 months ago
Openzeppelin Contracts ⭐ 24,030
OpenZeppelin Contracts is a library for secure smart contract development.
dependent packages 2,941total releases 81latest release December 08, 2023most recent commit 14 days agonpm @openzeppelin/contracts} Downloads
Chains ⭐ 7,342
provides metadata for chains
most recent commit 3 months ago
Popular Reachability Projects
Reachability.swift ⭐ 7,845
Replacement for Apple's Reachability re-written in Swift with closures
total releases 17latest release October 28, 2021most recent commit 3 months ago
Realreachability ⭐ 3,069
We need to observe the REAL reachability of network. That's what RealReachability do.
total releases 13latest release October 22, 2018most recent commit 2 years ago
Is Online ⭐ 1,174
Check if the internet connection is up
dependent packages 264total releases 34latest release June 06, 2022most recent commit 10 months agonpm is-online} Downloads
Popular Blockchain Categories
Blockchain
Ethereum
Bitcoin
Cryptocurrency
Wallet
Mining
Smart Contracts
Fabric
Web3
Dapp

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Javascript
Evm
Reachability
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.