Pinned Loading

1. sage sage Public

   Proteomics search & quantification so fast that it feels like magic

   Rust 204 38

2. axum-aws-lambda axum-aws-lambda Public

   Seamlessly use Axum on AWS Lambda

   Rust 71 13

3. types-and-programming-languages types-and-programming-languages Public

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

   Rust 186 8

4. microlisp microlisp Public

   A set of minimal lisp implementations

   C 66 8

5. SomewhatML/sml-compiler SomewhatML/sml-compiler Public

   A compiler for Standard ML, somewhat

   Rust 198 4

6. adventofcode2022 adventofcode2022 Public

   My solutions to Advent of Code 2022 in Haskell

   Haskell 1