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

Repo for testing

Compiler for Stacks smart contracts

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

A powerful little TUI framework 🏗

Sequence library for Clarity

Linter & formatter for Clarity

A property-based testing library for .NET, authored in C#

Function generation for Hedgehog

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

VSCode extension for Haskell

Solidity By Example

Manage and switch between Solidity compiler versions

Information about wallet defaults for external recovery

Solarized color scheme and theme for Sublime Text

Hedgehog with convenience attributes for xUnit.net

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Smart contracts which are formally verified

Haskell language support for Atom, powered by ghcide.

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…