Pinned Loading

1. mantidproject/mantid mantidproject/mantid Public

   Main repository for Mantid code

   C++ 210 122

2. --C-Compiler --C-Compiler Public

   A compiler for the --C language

   C++

3. Dino Dino Public

   Software for exploring the relationship between Dinaturality and Parametric Polymorphism

   C++

4. Dissertation Dissertation Public

   BSc Computer Science Dissertation

   TeX

5. Operads-HoTT Operads-HoTT Public

   An operad library in cubical agda

   Agda 2

6. AOC2019 AOC2019 Public

   Haskell