davidmisiak

Pinned Repositories

cardano-hw-cli-plutus-demo
Simple demonstration of Cardano Plutus features in cardano-hw-cli
Language:Shell0 1 00
flow-polynomials
Computation and analysis of multipole flow polynomials. Accompanying my master's thesis: http://www.dcs.fmph.uniba.sk/diplomovky/registracia/Detail.php?id=515
Language:HTML00
thesis-template
LaTeX template for bachelor's and master's theses in Computer Science at FMFI UK
Language:TeX5 1 02
tiler
CLI tool for automated solving of polyomino tiling problems. Features multiple solver backends, such as DLX, SAT, and ILP. Accompanying my bachelor thesis: http://dcs.fmph.uniba.sk/bakalarky/registracia/Detail.php?id=460
Language:C++41
carp
A modular indexer for Cardano with an SQL Postgres backend (an alternative to the well known cardano-db-sync)
Language:Rust103 7 9823
connect
:link: A platform for easy integration of Trezor into 3rd party services
Language:JavaScript348 40 376262
trezor-firmware
:lock: Trezor Firmware Monorepo
Language:C1.3k 68 1.9k641
trezor-suite
Trezor Suite Monorepo
Language:TypeScript681 42 5.5k247
cardano-hw-cli
Cardano CLI tool for hardware wallets
Language:TypeScript66 14 10221
ledger-app-cardano-shelley
update of Ledger Nano Cardano app code from Byron to Shelley
Language:C17 11 2716

davidmisiak's Repositories

davidmisiak/thesis-template
LaTeX template for bachelor's and master's theses in Computer Science at FMFI UK
Language:TeX5 1 02
davidmisiak/tiler
CLI tool for automated solving of polyomino tiling problems. Features multiple solver backends, such as DLX, SAT, and ILP. Accompanying my bachelor thesis: http://dcs.fmph.uniba.sk/bakalarky/registracia/Detail.php?id=460
Language:C++41
davidmisiak/cardano-hw-cli-plutus-demo
Simple demonstration of Cardano Plutus features in cardano-hw-cli
Language:Shell0 1 00
davidmisiak/flow-polynomials
Computation and analysis of multipole flow polynomials. Accompanying my master's thesis: http://www.dcs.fmph.uniba.sk/diplomovky/registracia/Detail.php?id=515
Language:HTML00