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 is supported. This note will only be visible to 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,764 621 Updated Jul 30, 2020

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

Haskell 3,177 754 Updated Apr 28, 2026

Ethereum smart contract fuzzer

Haskell 3,120 427 Updated Apr 22, 2026

Symbolic and concrete EVM execution engine

Haskell 337 77 Updated Apr 22, 2026

Smart contract specification language

Haskell 270 49 Updated Apr 22, 2026

Symbolic Program Slicing with LLVM

Haskell 84 14 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