Popular repositories Loading

1. Lambda-LaTeX Lambda-LaTeX Public

   LaTeX macros used by the Lambda Group at Oregon State University.

   TeX 6 1

2. OwnershipMonad OwnershipMonad Public

   Can we realize Rust's ownership model as a monad in Haskell?

   TeX 5

3. lambda-group lambda-group Public

   4

4. ProtocolStudy-Data ProtocolStudy-Data Public

   Data from a qualitative analysis of lab protocols.

   1 1

5. XOP-Algorithms-Data XOP-Algorithms-Data Public

   Data and tool for "A Domain Analysis of Data Structure and Algorithm Explanations in the Wild", at SIGCSE 2018

   Haskell 1

6. VDBMS VDBMS Public

   A variational database management system

   Haskell 1