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

7 results for source starred repositories written in Haskell
Clear filter

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

Haskell 3,170 748 Updated Dec 19, 2025

Ethereum smart contract fuzzer

Haskell 3,054 418 Updated Dec 18, 2025

Symbolic and concrete EVM execution engine

Haskell 318 70 Updated Dec 18, 2025

Smart contract specification language

Haskell 256 44 Updated Dec 18, 2025

Symbolic Program Slicing with LLVM

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