Pinned

1. sage Public

   Proteomics search & quantification so fast that it feels like magic

   Rust 103 17

2. axum-aws-lambda Public

   Example of using Axum with AWS Lambda

   Rust 30 5

3. types-and-programming-languages Public

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

   Rust 116 6

4. microlisp Public

   A set of minimal lisp implementations

   C 57 7

5. SomewhatML/sml-compiler Public

   A compiler for Standard ML, somewhat

   Rust 195 4

6. adventofcode2022 Public

   My solutions to Advent of Code 2022 in Haskell

   Haskell