Dzmitry Shuiski's starred repositories
formal-ledger-specifications
Formal specifications of the cardano ledger
cardano-purescript
Overview of PureScript libraries/tools for Cardano
cryptol-specs
A central repository for specifications of cryptographic algorithms in Cryptol
telescope_hoogle
Hoogle search integration for Telescope
purescript-cip30
Purescript interface to Cardano wallets over FFI to Cip30
purescript-cardano-serialization-lib
Pursecript library for cardano frontend types for emurgo/cardano-serialisation-lib
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cardano-serialization-lib
This is a library, written in Rust, for serialization & deserialization of data structures used in Cardano's Haskell implementation of Alonzo along with useful utility functions.
cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
stl-benchmark
STL benchmark comparing C++ and Julia ⏱
CoreBitcoin
Awesome Bitcoin toolkit for ObjC and Swift
bitcoin-kit-ios
Comprehensive Bitcoin development library for iOS, implemented on Swift. SPV wallet implementation for Bitcoin, Bitcoin Cash, Litecoin and Dash blockchains. Comprehensive Bitcoin development library for iOS, implemented on Swift. SPV wallet implementation for Bitcoin, Bitcoin Cash, Litecoin and Dash blockchains. Fully compliant with existing standards and BIPs.
aws-mobile-appsync-events-starter-ios
GraphQL starter application with Realtime and Offline functionality using AWS AppSync
CognitoSampleApplication
A sample iOS application that uses Cognito User Pools