PinnedLoading

1. sagesagePublic

   Proteomics search & quantification so fast that it feels like magic

   Rust 237 48

2. axum-aws-lambdaaxum-aws-lambdaPublic

   Seamlessly use Axum on AWS Lambda

   Rust 79 15

3. types-and-programming-languagestypes-and-programming-languagesPublic

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

   Rust 204 10

4. microlispmicrolispPublic

   A set of minimal lisp implementations

   C 67 8

5. SomewhatML/sml-compilerSomewhatML/sml-compilerPublic

   A compiler for Standard ML, somewhat

   Rust 202 4

6. adventofcode2024adventofcode2024Public

   Haskell 1