Skip to content
View kmicinski's full-sized avatar
112 followers · 6 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Organizations

@plum-umd @fordsec
Block or Report

Block or report kmicinski

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. program-analysis program-analysis Public

    Program analysis grad seminar at SU (2019)

    HTML 57 1

  2. cmsc330examples cmsc330examples Public

    Examples from the class CMSC 330 during Summer 2015

    OCaml 47 11

  3. example-ocaml-merlin example-ocaml-merlin Public

    An example of a simple project in OCaml that uses Merlin

    OCaml 36 10

  4. security-courses security-courses Public

    A list of security courses at colleges and universities

    10 2

  5. program-analysis-examples program-analysis-examples Public

    Notes for CIS 700 (Fall '19) at Syracuse U.

    Racket 10 4

  6. htltl2mc htltl2mc Public

    Model checker for HyperLTL2

    OCaml 5