Skip to content
View floor-licker's full-sized avatar

Block or report floor-licker

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
floor-licker/README.md

Current Projects

  • polyfill-rs - A high-performance Rust client for Polymarket

  • erdos-gyarfas-cubic-bipartite - Companion repository for the paper proving a 60-vertex lower bound for cubic bipartite counterexamples to the Erdos-Gyarfas conjecture via exhaustive, certificate-backed computation.

  • cardano-ibc-incubator - An IBC bridge implementation enabling interop between Cardano and Cosmos, includes custom Mithril light client implementation. Read about our biggest engineering challenges here.

Languages & Technologies

Solidity

GitHub Statistics

GitHub Stats

Profile Views

@floor-licker's activity is private