Mitchell Wand (@mwand)
github

mwand

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,208
  • Global Rank 25,534 (Top 0.9 %)
  • Followers 180
  • Registered about 12 years ago
  • Most used languages
    HTML
         42.9 %
    Coq     14.3 %
    Scheme
         14.3 %
    Racket
         14.3 %
    TeX
         14.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 7,586
  • Country Ranking
    Scheme
         6
    Racket
         165
    Coq     177
    TeX
         2,007
    HTML
         4,759

Top repositories

1

eopl3

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
Scheme
1,167
star
2

cs5010f17

HTML
12
star
3

cs5010f16

Web site for cs5010 Fall 2016
HTML
11
star
4

5010-examples

Code examples for CS 5010 Program Design Paradigms
Racket
8
star
5

cs7976f18

TeX
5
star
6

MPCF

Coq
2
star
7

cs7976f19

CS 7679 Fall 2019
HTML
1
star