Rankings
Badges
/
kmicinski
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kristopher Micinski
@kmicinski
Refresh
Open GitHub
🇺🇸 Syracuse, NY
Kris Micinski
Profile age: almost 15 years
Updated 17 days ago
126 followers • 7 following
Contacts
krismicinski@gmail.com
http://kmicinski.com
Organizations
Repositories
program-analysis
57
1
updated over 5 years ago • age about 6 years
HTML
98.4%
CSS
1.4%
Ruby
0.2%
Makefile
0.0%
cmsc330examples
49
11
updated about 10 years ago • age over 10 years
OCaml
84.7%
Prolog
7.5%
Ruby
6.7%
C
0.7%
Standard ML
0.4%
example-ocaml-merlin
36
9
updated over 10 years ago • age over 10 years
program-analysis-examples
13
4
updated almost 6 years ago • age about 6 years
Racket
100.0%
security-courses
11
2
updated about 8 years ago • age about 8 years
htltl2mc
5
0
updated over 6 years ago • age over 11 years
OCaml
98.5%
Makefile
1.0%
AMPL
0.5%
formal-methods-notes
5
0
updated about 5 years ago • age about 5 years
compbio
2
0
updated over 12 years ago • age over 12 years
Julia
100.0%
gimme-indexes
2
0
updated over 5 years ago • age over 6 years
Racket
100.0%
cis352-s22
1
0
updated over 3 years ago • age almost 4 years
SCSS
60.7%
HTML
27.9%
Ruby
11.4%
Show more - 10 of 19 shown
Contributions
2017
jeeves
1 PR
+1
-1
Python
336
32
2015
UMD-J479D-J779D-Fall2015
1 PR
+1
-1
HTML
19
9
