Pinned Loading

1. nyu-thesis-template nyu-thesis-template Public

   NYU GSAS PhD thesis template

   TeX 11 4

2. babyfluid babyfluid Public

   IV fluid mixture calculator for newborns

   HTML

3. intro-python intro-python Public

   Introduction to Programming with Python

   Python

4. wies/grasshopper wies/grasshopper Public

   An automated deductive program verifier.

   OCaml 42 13

5. microsoft/dist-ir microsoft/dist-ir Public

   An IR for efficiently simulating distributed ML computation.

   Python 30 2

6. plow-technologies/inferno plow-technologies/inferno Public

   A statically-typed functional scripting language

   Haskell 4 1