Pinned Repositories
chordal-colouring
Solution to the graph colouring problem, specialized to chordal graphs
cybersec-workshop
dilithium-py
Artificial side channel data generator for Dilithium
hoare-triples
Agda proof of soundness of Hoare Logic for a simple toy language
honeycomb
Implementation of a toy signature scheme used in cryptology class
hungarian-matching
imp-lang
mini-cryptohack
Simple website with a couple of CryptoHack-like questions, written in Elm
Rendering
Final assignment for a Computer Graphics course
RpgInterpreter
Handwritten interpreter for a simple scripting language
piotr-lewandowski's Repositories
piotr-lewandowski/hoare-triples
Agda proof of soundness of Hoare Logic for a simple toy language
piotr-lewandowski/chordal-colouring
Solution to the graph colouring problem, specialized to chordal graphs
piotr-lewandowski/cybersec-workshop
piotr-lewandowski/dilithium-py
Artificial side channel data generator for Dilithium
piotr-lewandowski/honeycomb
Implementation of a toy signature scheme used in cryptology class
piotr-lewandowski/hungarian-matching
piotr-lewandowski/imp-lang
piotr-lewandowski/mini-cryptohack
Simple website with a couple of CryptoHack-like questions, written in Elm
piotr-lewandowski/profiling-attack-dilithium
piotr-lewandowski/Rendering
Final assignment for a Computer Graphics course
piotr-lewandowski/RpgInterpreter
Handwritten interpreter for a simple scripting language
piotr-lewandowski/propositional-calculus
piotr-lewandowski/shoenfield-machine-interpreter
Interpreter for Shoenfield Machines, a general model of computation
piotr-lewandowski/tiaoxin
piotr-lewandowski/typing-game
piotr-lewandowski/ulam-numbers
Script for calculating ulam numbers
piotr-lewandowski/wfrp-helper
Haskell app providing the DM with some useful tools