atondwal - Overview

Pinned Loading

1. Forked from ucsd-progsys/mist

   A tiny language for teaching and experimenting with Refinement Types

   Haskell 1

2. 4

      "cell_type": "markdown",

3. This repository holds the code for my analysis for the SAMI3 model with ISIS-OE.

   Objective-C 1

4. Rubik's cube unscrambling demonstration in mathematica

   Objective-C 2

5. Lecture on Co-and Contra- variance.

   2

6. Residue Theory Lecture Notes for Physics Team, April 1, 2011

   1