stefanradziuk

my-dots

shell scripts and dotfiles for a minimal linux setup

adv360-zmk

Production repository for the all-new Advantage360 Professional using ZMK engine

bishopjs

Animation inspired by OpenSSH's key randomart

nixos

❄ NixOS config + dots

paars

a toy parser combinator library

WasmCert-Coq

bishop

bishopRs

CompCert

Fork of CompCert that extracts a specific set of modules useful for Gillian-C

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.

nix-snippets

nixpkgs

Nix Packages collection

Parsley

An exceptionally fast parser combinator library for Scala

pendula

picom

A lightweight compositor for X11

RandomBooleanNetworks

randomBooleanNetworksPlay

rbn

rbnJs

random boolean networks implemented using scala.js

rofimoji

A simple emoji and character picker for rofi 😁

seoul256.vim

:deciduous_tree: Low-contrast Vim color scheme based on Seoul Colors

sfe

student loan repayment calculator

sort-polymorphic-extraction

sort-polymorphic-extraction

stefanradziuk

github profile readme

stefanradziuk.github.io

tfl

🚇

toy-wasm-type-inversion

wacc-it

a script to upload wacc programs to an online reference compiler

wacc-scala-skeleton.g8

Code skeleton for Imperial's WACC project for Scala groups

wacc.js

A WACC compiler, powered by your browser