Pinned Repositories
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
CoreErlang
AST, parser, pretty-printer for Core Erlang source code.
daedalus
Daedalus - cryptocurrency wallet
frag
Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
graphviz-scripts
Some dot files for graphviz
hamler
The Hamler Programming Language
jormungandr
aspiring blockchain node
learngit
ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Yang123321's Repositories
Yang123321/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
Yang123321/CoreErlang
AST, parser, pretty-printer for Core Erlang source code.
Yang123321/daedalus
Daedalus - cryptocurrency wallet
Yang123321/frag
Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
Yang123321/graphviz-scripts
Some dot files for graphviz
Yang123321/hamler
The Hamler Programming Language
Yang123321/jormungandr
aspiring blockchain node
Yang123321/learngit
Yang123321/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Yang123321/learnHaskell
Yang123321/maze-
Yang123321/persistent
Persistence interface for Haskell allowing multiple storage methods.
Yang123321/purescript
A strongly-typed language that compiles to JavaScript
Yang123321/server
Yang123321/summernate
Yang123321/tetris
用purescript写的俄罗斯方块游戏
Yang123321/yesod-form-richtext
Various rich-text WYSIWYG editors for Yesod forms.