Haskell and Python programmer. Smart-contracts, PL theory and formal methods enthusiast.
- Chiang Mai
-
06:37
(UTC +07:00) - @uhbif19
Pinned Loading
-
mlabs-haskell/hydra-auction
mlabs-haskell/hydra-auction PublicAn auction system running on Hydra L2 solution
-
mlabs-haskell/cem-script
mlabs-haskell/cem-script Publichttps://cardano.ideascale.com/c/idea/106740
-
servant-record
servant-record Public archiveServant combinator to parse query params as Haskell record
Haskell 5
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.