SWORD
SWORD: A Whole Program Race Detector for Java
Possibly Available
About
Misinterpreting PL and math
Evidence-backed skills
Repositories
binary-study
a backup for binary analysis study
openDSS-loadshape-generator
a program for auto processing .xls data and generating loadshape curve for openDSS modeling
shortfault
short circuit calculation
exercises
random notes/thoughts/proofs
async-rust-playground
async rust sucks
conceptual-math
exercises in conceptual mathematics
mid
neither based nor cringe
funemy.github.io
https://liyz.pl
fstar.nvim
neovim plugin for F*
formalization-progress
A vibe-coded tool for visualizing proof formalization progress.