ShellCheck, a static analysis tool for shell scripts

Ethereum smart contract fuzzer

Agda is a dependently typed programming language / interactive theorem prover.

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Crucible is a library for symbolic simulation of imperative programs

The Pact Smart Contract Language

Haskoin Core is a Bitcoin and Bitcoin Cash library

A language for intent-centric and declarative decentralised applications

Main source code repository of the Tamarin prover for security protocol verification.

Symbolic and concrete EVM execution engine

The modular protocol framework based on Universal Composability

Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library

Pure Haskell implementation of the MurmurHash3 x86_32 algorithm.