Pinned Repositories
BeatAMLproteomics
Analysis of the 210 patient cohort processed by the OHSU/PNNL PTRC
earlyLateAMLresistance
Investigations into differences between early and late resistance in AML patients
LawvereFixedPoint
Proof of Lawvere's fixed point theorem in Lean 4
MiscLean
Miscellanous definitions and proofs in Lean 4
motrpac-proteomics-pnnl-prototype
Testing implementation of PNNL pipeline on BIC infrastructure
SymbolicDynamics
Formalization of the Curtis–Hedlund–Lyndon theorem in Lean 4
BeatAMLproteomics
Analysis of the 210 patient cohort processed by the OHSU/PNNL PTRC
PlexedPiper
Isobaric Tag Processign Pipeline
mdnestor's Repositories
mdnestor/BeatAMLproteomics
Analysis of the 210 patient cohort processed by the OHSU/PNNL PTRC
mdnestor/earlyLateAMLresistance
Investigations into differences between early and late resistance in AML patients
mdnestor/ide-ptws
Integrodifference equation solver in Python.
mdnestor/MiscLean
Miscellanous definitions and proofs in Lean 4
mdnestor/motrpac-proteomics-pnnl-prototype
Testing implementation of PNNL pipeline on BIC infrastructure
mdnestor/LawvereFixedPoint
Proof of Lawvere's fixed point theorem in Lean 4
mdnestor/PlexedPiper
mdnestor/SymbolicDynamics
Formalization of the Curtis–Hedlund–Lyndon theorem in Lean 4
mdnestor/ChemicalReactionNetworkTheory
Attempt at formalizing chemical reaction network theory (CRNT) in Lean 4
mdnestor/cytokineDrugResistance
Studying the impacts of cytokines on drug resistance in AML
mdnestor/DL-Batch-Correction
mdnestor/GithubTokens
mdnestor/ide-traveling-waves
mdnestor/indefinitely-scalable
An implementation of an indefinitely scalable compute tile and programs for it.
mdnestor/Integrodifference
mdnestor/lean-social-choice
A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
mdnestor/leapR
mdnestor/mathlib4
The math library of Lean 4
mdnestor/mdnestor.github.io
Personal homepage.
mdnestor/MSnID
utilities for handling MS/MS proteomic identifications
mdnestor/mzR
This is the git repository matching the Bioconductor package mzR: parser for netCDF, mzXML, mzData and mzML files (mass spectrometry data)
mdnestor/p3
The PNNL Proteomics Pipeline - fork to do your own analysis.
mdnestor/PlexedPiper_ShinyApp
mdnestor/voxeltorus
Non-Euclidean voxel engine