🆕
Creating new
Proof theory, Crypto (Not only blockchain), Ai Coding (prompts, agents, flows)
Trusted Execution (SGX, Enclave)
ZK (halo2, plonky3, etc)
Optimistic Rollups
Popular repositories Loading
-
poly_variants
poly_variants PublicThis is library that use macro, never type (exhausitive patterns for enum variants), to make GADT (from haskell world) like structure. makes ability to use poly variants like (from Ocaml world), an…
-
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.