Pinned Repositories
waveFunctionCollapse
C implementation of Maxim Gumin's wave function algorithm done as a part of our C project at Imperial
3nav
3Nav: mobile app for in-building navigation - educational project w III High School in Gdynia
bishopjs
Animation inspired by OpenSSH's key randomart
my-dots
shell scripts and dotfiles for a minimal linux setup
naturalDeduction
Scala tool for representation and verification of natural deduction proofs
nixos
❄ NixOS config + dots
paars
a toy parser combinator library
population_simulator
population_simulator
WasmCert-Coq
stefanradziuk's Repositories
stefanradziuk/hanaspeak
SSDSKSJHSKSSHKJJMSHJSKA
stefanradziuk/landing_page
stefanradziuk/naturalDeduction
Scala tool for representation and verification of natural deduction proofs
stefanradziuk/scalaPlayground
hello, scala!
stefanradziuk/population_simulator
population_simulator
stefanradziuk/gameOfLife
conway's game of life
stefanradziuk/3nav
3Nav: mobile app for in-building navigation - educational project w III High School in Gdynia
stefanradziuk/PlacingBeacons
stefanradziuk/dotfiles
stefanradziuk/PV-calculators
Calculators for photovoltaic systems