Michael Lazear's repositories
types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
axum-aws-lambda
Seamlessly use Axum on AWS Lambda
simd-euclidean
Calculation of euclidean distance between vectors, with SIMD
census2csv
Convert TMT multiplexed proteomics data in the Census format to CSV files
adventofcode2020
Solutions to Advent of Code 2020
adventofcode2022
My solutions to Advent of Code 2022 in Haskell
nightingale
Data visualisation web components for the life sciences.
rust-analyzer
An experimental Rust compiler front-end for IDEs
sdrf-pipelines
A repository to convert SDRF proteomics files into pipelines config files
ThermoRawFileParser
Thermo RAW file parser that runs on Linux/Mac and all other platforms that support Mono
peak-performance
A Python toolbox for Bayesian inference of peak areas.
AGPL-3.0000