Popular repositories

1. program-analysis Public

   Program analysis grad seminar at SU (2019)

   HTML 56 1

2. cmsc330examples Public

   Examples from the class CMSC 330 during Summer 2015

   OCaml 48 10

3. example-ocaml-merlin Public

   An example of a simple project in OCaml that uses Merlin

   OCaml 37 10

4. program-analysis-examples Public

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

   Racket 9 3

5. security-courses Public

   A list of security courses at colleges and universities

   6 1

6. formal-methods-notes Public

   Notes for CIS700, Fall 2020: Formal Methods in Computer Security

   6