xcthulhu/pyethereum
Next generation cryptocurrency network
Public GitHub Catalog
Discovered Sep 24, 2026
xcthulhu / Int_Logic
An Isabelle/HOL theory of intuitionistic logic, employing combinators and a shallow embedding of the simply typed lambda calculus using Schönfinkel's scheme
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1334808GitHub System ID
xcthulhuOrganization / User
PublicVisibility
ActiveCatalog Status
More from xcthulhu
xcthulhu/go-ethereum
Jeffrey Wilcke's Go implementation of the Ethereum y/w paper
xcthulhu/c-ethash
Public repository.
xcthulhu/daggerhashimoto
Public repository.