Skip to content
View learnerLj's full-sized avatar
🎯
Focusing
🎯
Focusing
218 followers · 12 following

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Starstruckx2

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Starstruckx2

Block or report learnerLj

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Lists (14)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

8 results for source starred repositories written in Haskell
Clear filter

github / semantic

Parsing, analyzing, and comparing source code across many languages

Haskell 9,004 452 Updated Jul 24, 2024

crytic / echidna

Ethereum smart contract fuzzer

Haskell 2,804 382 Updated Jan 13, 2025

DSLsofMath / DSLsofMath

Domain-Specific Languages of Mathematics

Haskell 422 50 Updated Jan 6, 2025

ethereum / hevm

symbolic EVM evaluator

Haskell 251 49 Updated Jan 16, 2025

sdiehl / zkp

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Haskell 90 10 Updated Aug 13, 2020

PacktPublishing / Soar-with-Haskell

Soar with Haskell, Published by Packt

Haskell 13 Updated Jan 10, 2024

Modulo-P / zk-snark

Bringing zk-snarks to Cardano

Haskell 5 Updated Aug 20, 2023

Modulo-P / groth-validator

Haskell 1 Updated Nov 6, 2023