Giters
Dávid Mišiak (davidmisiak)

davidmisiak

Geek Repo

1

followers

0

following

35

stars

Home Page:https://gitlab.com/puding

Github PK Tool:Github PK Tool

Dávid Mišiak's repositories

thesis-template

LaTeX template for bachelor's and master's theses in Computer Science at FMFI UK

Language:TeXLicense:MITStargazers:5Issues:1Issues:0

tiler

CLI tool for automated solving of polyomino tiling problems. Features multiple solver backends, such as DLX, SAT, and ILP. Accompanying bachelor thesis: http://dcs.fmph.uniba.sk/bakalarky/registracia/Detail.php?id=460

Language:C++License:GPL-3.0Stargazers:4Issues:0Issues:0

cardano-hw-cli-plutus-demo

Simple demonstration of Cardano Plutus features in cardano-hw-cli

Language:ShellStargazers:0Issues:1Issues:0

flow-polynomials

Computation and analysis of multipole flow polynomials for my master's thesis.

Language:HTMLStargazers:0Issues:0Issues:0