kmicinski/cis352-s21 kmicinski/cis352-s21

  • Stars
    star
    2
  • Language SCSS
  • Created almost 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kmicinski/cis352-s21
github

kmicinski

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Course website / materials for CIS352, Spring 2021, at Syracuse

More Repositories

1

program-analysis

Program analysis grad seminar at SU (2019)
HTML
57
star
2

cmsc330examples

Examples from the class CMSC 330 during Summer 2015
OCaml
47
star
3

example-ocaml-merlin

An example of a simple project in OCaml that uses Merlin
OCaml
36
star
4

security-courses

A list of security courses at colleges and universities
10
star
5

program-analysis-examples

Notes for CIS 700 (Fall '19) at Syracuse U.
Racket
10
star
6

htltl2mc

Model checker for HyperLTL2
OCaml
5
star
7

formal-methods-notes

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

kmicinski.github.io

Kris' personal website..
HTML
3
star
9

blog-stuff

Code from my blog
Racket
2
star
10

redexer

The Redexer binary instrumentation system for Android
2
star
11

cmsc245examples

Examples from CMSC245
C++
2
star
12

functional_compiling_slides

Slides for compiling functional programs
OCaml
2
star
13

teaching-state-machines

A JavaScript app that offers a way to teach and animate state machines interactively
JavaScript
2
star
14

msulogo

MSU Turtle Graphics using logo
Java
2
star
15

compbio

Computational biology project for CMSC 702
Julia
2
star
16

cs107-notes

Notes from CS107
Python
2
star
17

cs107-p3

Graph coloring and colorability project for 107
Python
2
star
18

simpleturtlegraphics

Simple turtle graphics library for java
Java
2
star
19

GalSat

The GalSat genetic algorithm based SAT solver
C++
2
star
20

cs107-p8

CS107 AI Adventure
Python
1
star
21

cis352-s22

SCSS
1
star
22

gimme-indexes

Implements Automatic Index Selection for sets of Datalog queries
Racket
1
star
23

cs107-p6

Project 6 in CS107: Linked lists and HaverQuest Intro
Python
1
star
24

cis352-s20

CIS352 at SU Spring 2020
CSS
1
star
25

cs245-examples

C++
1
star
26

aam-based-ai

Papers on AAM-based abstract interpretation
1
star
27

terrible-web-app

An obviously-insecure web app for us to exploit
Python
1
star
28

file-server

File server assignment (and key maybe?) for CMSC 311
C
1
star
29

micinski-website

Kristopher Micinski's personal (research oriented) website.
HTML
1
star
30

ui-for-security

Papers on building and evaluating UIs for Security
1
star
31

program-analysis-p1

Homework 1 for CIS 700
Racket
1
star
32

program-analysis-p0

Project 0 for program analysis (CIS 700) at SU, Fall 2019
Racket
1
star
33

tinylangs

tiny languages in racket
Racket
1
star
34

bigstep

Big step semantics example repo
Racket
1
star
35

modern-deduction

The Modern Deduction Blog
HTML
1
star
36

irongiant

A toolkit for static analysis of Android applications in Racket
1
star
37

cmsc245

CMSC 245 @ Haverford, Fall 2017. By Kris Micinski & David Wonnacott
Racket
1
star