-
Input Output Hong Kong
- Regensburg (Germany)
Highlights
- Pro
-
-
cardano-token-registry Public
Forked from cardano-foundation/cardano-token-registryNix UpdatedJul 5, 2023 -
atlas-examples Public
Forked from geniusyield/atlas-examples -
-
simple-plutus Public
Simple, idealized version of the Plutus smart contract language in Haskell.
-
marlowe Public
Forked from input-output-hk/marlowePrototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
TeX Apache License 2.0 UpdatedJan 12, 2021 -
-
-
ethereum-analyzer Public
Forked from zchn/ethereum-analyzerAn Ethereum contract analyzer.
-
generic-auth Public
Generic Authenticated Data Types
-
remarkable_mouse Public
Forked from Evidlo/remarkable_mouseuse your reMarkable as a graphics tablet
Python UpdatedJun 10, 2020 -
pledging-model Public
Simple model for Cardano Shelley pledging
-
-
-
-
pell Public
Haskell Package to solve the Generalized Pell Equation
-
haskellX2019 Public
This ain't your Daddy's Probability Monad - Slides and Code from my talk at the Haskell eXchange 2019
-
-
-
stack2cabal Public
creating a cabal new-build configuration from a stack configuration
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
Shell MIT License UpdatedAug 8, 2017 -
-
-
purescript-pspec Public
Forked from philopon/purescript-pspectest suite for purescript
PureScript UpdatedJan 14, 2016 -
purescript-json Public
Forked from philopon/purescript-json-deprecatedJSON parsing library like aeson for purescript.
PureScript UpdatedDec 2, 2015 -
-
-
purescript-halogen-dialog Public
PureScript/Halogen support for dialogs
PureScript MIT License UpdatedJun 28, 2015 -
purescript-signal Public
Forked from bodil/purescript-signalElm style FRP library for PureScript
PureScript UpdatedJun 9, 2015 -
purescript-knockoutjs Public
Type declarations for knockout.js