Discover @kmicinski Open Source projects

Kristopher Micinski (@kmicinski)

kmicinski

Stars
216
Global Rank 116,019 (Top 4 %)
Followers 115
Following 6
Registered almost 14 years ago
Most used languages

Racket
25.0 %

Python
15.6 %

OCaml
12.5 %

HTML
12.5 %

C++
9.4 %

Java
6.3 %

SCSS 6.3 %

JavaScript
3.1 %

CSS
3.1 %

C
3.1 %

Julia
3.1 %
Location 🇺🇸 United States
Country Total Rank 26,715
Country Ranking

OCaml
74

Racket
103

Julia
1,060

SCSS 1,158

HTML
2,503

program-analysis

Program analysis grad seminar at SU (2019)

cmsc330examples

Examples from the class CMSC 330 during Summer 2015

example-ocaml-merlin

An example of a simple project in OCaml that uses Merlin

security-courses

A list of security courses at colleges and universities

program-analysis-examples

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

htltl2mc

Model checker for HyperLTL2

formal-methods-notes

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

kmicinski.github.io

Kris' personal website..

gimme-indexes

Implements Automatic Index Selection for sets of Datalog queries

blog-stuff

Code from my blog

redexer

The Redexer binary instrumentation system for Android

cmsc245examples

Examples from CMSC245

functional_compiling_slides

Slides for compiling functional programs

teaching-state-machines

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

msulogo

MSU Turtle Graphics using logo

compbio

Computational biology project for CMSC 702

cis352-s21

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

cs107-notes

Notes from CS107

cs107-p3

Graph coloring and colorability project for 107

simpleturtlegraphics

Simple turtle graphics library for java

GalSat

The GalSat genetic algorithm based SAT solver

cs107-p8

CS107 AI Adventure

cis352-s22

cs107-p6

Project 6 in CS107: Linked lists and HaverQuest Intro

cis352-s20

CIS352 at SU Spring 2020

cs245-examples

aam-based-ai

Papers on AAM-based abstract interpretation

terrible-web-app

An obviously-insecure web app for us to exploit

file-server

File server assignment (and key maybe?) for CMSC 311

micinski-website

Kristopher Micinski's personal (research oriented) website.

ui-for-security

Papers on building and evaluating UIs for Security

program-analysis-p1

Homework 1 for CIS 700

program-analysis-p0

Project 0 for program analysis (CIS 700) at SU, Fall 2019

tinylangs

tiny languages in racket

bigstep

Big step semantics example repo

modern-deduction

The Modern Deduction Blog

irongiant

A toolkit for static analysis of Android applications in Racket

cmsc245

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