Pinned Loading

1. mist mist Public

   Forked from ucsd-progsys/mist

   A tiny language for teaching and experimenting with Refinement Types

   Haskell 1

2. Haskell Extensions.ipynb Haskell Extensions.ipynb

   1

   {

   2

    "cells": [

   3

     {

   4

      "cell_type": "markdown",

   5

      "metadata": {},

3. math math Public

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

   Objective-C 1

4. rubiks rubiks Public

   Rubik's cube unscrambling demonstration in mathematica

   Objective-C 2

5. tensors tensors Public

   Lecture on Co-and Contra- variance.

   2

6. Residue-Theory Residue-Theory Public

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

   1