mdnestor

Follow

Michael mdnestor

Follow

8 followers · 25 following

mdnestor/README.md

Hello. Here are some projects I have worked on:

Formalization

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

Biostats

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

Misc. fun

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

Pinned Loading

LawvereFixedPoint LawvereFixedPoint Public

Proof of Lawvere's fixed point theorem in Lean 4

Lean
MiscLean MiscLean Public

Miscellanous definitions and proofs in Lean 4

Lean 2
SymbolicDynamics SymbolicDynamics Public

Formalization of the Curtis–Hedlund–Lyndon theorem in Lean 4

Lean
PNNL-CompBio/BeatAMLproteomics PNNL-CompBio/BeatAMLproteomics Public

Analysis of the 210 patient cohort processed by the OHSU/PNNL PTRC

HTML 9 3
vladpetyuk/PlexedPiper vladpetyuk/PlexedPiper Public

Isobaric Tag Processign Pipeline

R 2 7