Pinned Loading

1. sage sage Public

   Proteomics search & quantification so fast that it feels like magic

   Rust 320 73

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

   Seamlessly use Axum on AWS Lambda

   Rust 91 14

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

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

   Rust 219 10

4. microlisp microlisp Public

   A set of minimal lisp implementations

   C 71 9

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

   A compiler for Standard ML, somewhat

   Rust 205 5

6. adventofcode2024 adventofcode2024 Public

   Haskell 1