Stars
Clarity fuzzer designed to cut through your smart contract's defenses with precision.
A website for viewing Ethereum Consensus Layer reference tests
Ethereum Protocol Security Review Assistant
property testing and verification front-end for Rust
Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.
fork of Ampleforth reimplementation - Sample code for Clarity Developers
Runtime Type Information System for Typescript (Reflection)
Compiler for Stacks smart contracts
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
A property-based testing library for .NET, authored in C#
Jargon from the functional programming world in simple terms!
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
A model checking tutorial, written in literate Haskell
Extract transactions from Stacks and Bitcoin and build event driven re-org resistant indexers and databases.
VS Code extension for Haskell, powered by haskell-language-server
JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).
Pure random number generator written in TypeScript
A repository with Clarity syntax-highlighting grammar files
Manage and switch between Solidity compiler versions
Information about wallet defaults for external recovery