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/my-dots
shell scripts and dotfiles for a minimal linux setup
stefanradziuk/adv360-zmk
Production repository for the all-new Advantage360 Professional using ZMK engine
stefanradziuk/bishopjs
Animation inspired by OpenSSH's key randomart
stefanradziuk/nixos
❄ NixOS config + dots
stefanradziuk/paars
a toy parser combinator library
stefanradziuk/WasmCert-Coq
stefanradziuk/bishop
stefanradziuk/bishopRs
stefanradziuk/CompCert
Fork of CompCert that extracts a specific set of modules useful for Gillian-C
stefanradziuk/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
stefanradziuk/nix-snippets
stefanradziuk/nixpkgs
Nix Packages collection
stefanradziuk/Parsley
An exceptionally fast parser combinator library for Scala
stefanradziuk/pendula
stefanradziuk/picom
A lightweight compositor for X11
stefanradziuk/RandomBooleanNetworks
stefanradziuk/randomBooleanNetworksPlay
stefanradziuk/rbn
stefanradziuk/rbnJs
random boolean networks implemented using scala.js
stefanradziuk/rofimoji
A simple emoji and character picker for rofi 😁
stefanradziuk/seoul256.vim
:deciduous_tree: Low-contrast Vim color scheme based on Seoul Colors
stefanradziuk/sfe
student loan repayment calculator
stefanradziuk/sort-polymorphic-extraction
sort-polymorphic-extraction
stefanradziuk/stefanradziuk
github profile readme
stefanradziuk/stefanradziuk.github.io
stefanradziuk/tfl
🚇
stefanradziuk/toy-wasm-type-inversion
stefanradziuk/wacc-it
a script to upload wacc programs to an online reference compiler
stefanradziuk/wacc-scala-skeleton.g8
Code skeleton for Imperial's WACC project for Scala groups
stefanradziuk/wacc.js
A WACC compiler, powered by your browser