kmicinski Goto Github PK

cs107-notes

Notes from CS107

cs107-p3

Graph coloring and colorability project for 107

cs107-p5

Imperative operations and Stacks

cs107-p6

Project 6 in CS107: Linked lists and HaverQuest Intro

cs107-p7

Project 7 in CS107: Fleshing Out HaverQuest

cs107-p8

CS107 AI Adventure

cs245

cs245-examples

cs395-p1

Project 1 for CS395

cybersecurity-examples

eagleatp

Eagle ATP (circa 2007)

example

Example repo

example-fig-repo

Example repo from FIG talk

example-ocaml-merlin

An example of a simple project in OCaml that uses Merlin

example-repo

FIG

facets-bigstep

An implementation of the operational semantics for the big step semantics in Flanagan's original facets paper

file-server

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

file-server-group

Project 1G Starter Files

file-server-individual

Project 2I in 311

formal-methods-notes

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

functional_compiling_slides

Slides for compiling functional programs

galsat

The GalSat genetic algorithm based SAT solver

gimme-indexes

Implements Automatic Index Selection for sets of Datalog queries

grad-school-success

Slides on grad school success

hadoop-class-project

Hadoop class project for Jimmy Lin's class

hakyll

A static website compiler library in Haskell

hakyll-examples

Examples for the Hakyll static site generator

haverforth

JS-based FORTH interpreter for Lab 7 in CMSC245 (HC 2017)

haverquest

HaverQuest: A Tile-Based Platformer for CS 107

how-awesome-is-my-job

How awesome is my job today