Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Zen Wallet	34	6 years ago	9	other	C#
Node and GUI for the Zen Protocol.
Plutus Experimental Smart Contracts	22	5 years ago		unlicense	Haskell
Experimental Smart Contracts In Plutus.

Alternatives To Plutus Experimental Smart Contracts

Select To Compare

Zen Wallet ⭐ 34

Node and GUI for the Zen Protocol.

most recent commit 6 years ago

Plutus Experimental Smart Contracts ⭐ 22

Experimental Smart Contracts In Plutus.

most recent commit 5 years ago

Suggest An Alternative To plutus-experimental-smart-contracts

Alternative Project Comparisons

Plutus Experimental Smart Contracts vs Zen Wallet

Popular Smart Contracts Projects

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 17 days ago

Solidity ⭐ 21,616

Solidity, the Smart Contract Programming Language

most recent commit 3 months ago

Ethereumbook ⭐ 18,823

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

most recent commit 3 months ago

Sismo Badges ⭐ 16,251

Contracts of the Sismo Badge Minting Protocol

most recent commit 7 months ago

Truffle ⭐ 14,010

:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

dependent packages 1,559total releases 507latest release September 13, 2023most recent commit 6 months ago

Popular Formal Methods Projects

Harmonyos ⭐ 18,477

A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。

most recent commit 2 years ago

Sled ⭐ 7,522

the champagne of beta embedded databases

dependent packages 292total releases 100latest release September 11, 2023most recent commit 3 months ago

P ⭐ 2,845

The P programming language.

dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months ago

Hacl Star ⭐ 1,575

HACL*, a formally verified cryptographic library written in F*

dependent packages 2total releases 11latest release June 15, 2023most recent commit a month ago

Creusot ⭐ 823

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

total releases 1latest release November 18, 2021most recent commit 3 months ago

Popular Blockchain Categories