D2PFuzz, Fuzzer tool for analyze devp2p protocol

Selenized color scheme for Sublime Text

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.

Repo for testing Clarity Contracts

Compiler for Stacks smart contracts

Sequence library 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!

A model checking tutorial, written in literate Haskell

Pure random number generator written in TypeScript

A repository with Clarity syntax-highlighting grammar files

Solidity By Example

Solarized color scheme and theme for Sublime Text

Hedgehog with convenience attributes for xUnit.net

Haskell language support for Atom, powered by ghcide.

C# demo code of a full vertical slice from HTTP to database

A library to integrate hedgehog tests into your hspec test suite.

Generic deriving of Read/Show with no record labels.

The hackable text editor

Music downloader for Tidal, depecrated (again)

Release with confidence, state-of-the-art property testing for R.

A node.js version management utility for Windows. Ironically written in Go.

A cryptocurrency trading API with more than 100 exchanges in JavaScript / TypeScript / Python / C# / PHP / Go

〰️ color schemes and syntax highlighting for Sublime Text 3, optimized for Haskell.