Michael Lazear

icon company Belharra Therapeutics icon location I like big data and I cannot lie

Results 5 repositories owned by Michael Lazear
trafficstars

types-and-programming-languages

182
Stars
8
Forks
Watchers

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

verified publisher icon lazear

microlisp

66
Stars
8
Forks
Watchers

A set of minimal lisp implementations

verified publisher icon lazear

axum-aws-lambda

67
Stars
10
Forks
Watchers

Seamlessly use Axum on AWS Lambda

verified publisher icon lazear

lass

22
Stars
1
Forks
Watchers

An x86 assembler that you probably shouldn't use

verified publisher icon lazear

sage

198
Stars
38
Forks
Watchers

Proteomics search & quantification so fast that it feels like magic

verified publisher icon lazear