Hello. Here are some projects I have worked on:

• mdnestor/GameTheory - game theory
• mdnestor/SymbolicDynamics - symbolic dynamics
• mdnestor/LawvereFixedPoint - Lawvere fixed point theorem

• PNNL-Comp-Mass-Spec/PlexedPiper - a proteomics data analysis package written in R
• PNNL-Comp-Mass-Spec/MSnID - mass spectrometry data library written in R
• PNNL-CompBio/BeatAMLproteomics
• PNNL-CompBio/earlyLateAMLresistance
• PNNL-CompBio/cytokineDrugResistance
• MoTrPAC/motrpac-proteomics-pnnl-prototype - data analysis pipeline for the MoTrPAC consortium
• PNNL-Comp-Mass-Spec/DL-Batch-Correction - variational autoencoders and generative adversarial networks for batch correction of proteomics data, written in Python using PyTorch. Abandoned

• mdnestor/MiscLean - a collection of mathematical definitions and theorems written in Lean 4.
• mdnestor/voxeltorus - raycasting voxel engine written in Rust.
• mdnestor/eloworld - collection of (bad) chess algorithms