Giters
Michael Clarkson (clarksmr)

clarksmr

Geek Repo

110

followers

0

following

0

stars

Company:Cornell University

Location:Ithaca, NY

Home Page:http://www.cs.cornell.edu/~clarkson

Github PK Tool:Github PK Tool

Michael Clarkson's repositories

sf-lectures

Software Foundations

Language:HTMLLicense:NOASSERTIONStargazers:97Issues:6Issues:1

cs3110

CS 3110 Assignments

Stargazers:2Issues:0Issues:0

PyLaTeX

A Python library for creating LaTeX files

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

gloomhaven-rules

Unofficial lightweight, searchable copy of the Gloomhaven rule book

Stargazers:0Issues:0Issues:0

groupeng

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

jupyter-book-ocaml-lex-warning

MWE for a jupyter-book warning

Stargazers:0Issues:0Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0