Mitchell Wand (@mwand)
github

mwand

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,200
  • Global Rank 25,142 (Top 0.9 %)
  • Followers 178
  • Registered almost 12 years ago
  • Most used languages
    HTML
         42.9 %
    Coq     14.3 %
    Racket
         14.3 %
    Scheme
         14.3 %
    TeX
         14.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 7,586
  • Country Ranking
    Scheme
         6
    Coq     144
    Racket
         165
    TeX
         1,833
    HTML
         4,751

Top repositories

1

eopl3

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
Scheme
1,159
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