Skip to content
View gmh5225's full-sized avatar
🙃
🙃

Highlights

  • Pro

Block or report gmh5225

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

8 stars written in Haskell
Clear filter

Cryptographic currency implementing Ouroboros PoS protocol

Haskell 3,783 628 Updated Jul 30, 2020

The core component that is used to participate in a Cardano decentralised blockchain.

Haskell 3,170 739 Updated Nov 6, 2025

Ethereum smart contract fuzzer

Haskell 3,031 413 Updated Nov 3, 2025

Symbolic and concrete EVM execution engine

Haskell 313 68 Updated Nov 5, 2025

Smart contract specification language

Haskell 253 44 Updated Oct 13, 2025

Symbolic Program Slicing with LLVM

Haskell 85 13 Updated Aug 3, 2020

Symbolic execution of LLVM IR traces for program understanding.

Haskell 27 4 Updated Feb 24, 2014

LLVM-IR library for Haskell, this library is being built as a way to handle LLVM-IR directly from the comfort of Haskell.

Haskell 1 Updated Jul 24, 2024