Shawn's repositories
ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
datasharing
The Leek group guide to data sharing
yamf
YAMF -- Yet Another Marking Framework. Based on JUnit5, checks based on acceptance tests and static analysis, integrated manual testing, produces reports in plain text, MSWord, highly extensible.
functional-programming-jargon
Jargon from the functional programming world in simple terms!
criticality_score
Gives criticality score for an open source project
hephaestus
A framework for testing compilers' type checkers
pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
cs-video-courses
List of Computer Science courses with video lectures.
IncA
Incremental Program Analysis Framework
inc
an incremental approach to compiler construction
pml-book
"Probabilistic Machine Learning" - a book series by Kevin Murphy
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
pdfbox
Mirror of Apache PDFBox
Scalpel
Scalpel: A Python Program Analysis Framework
unit
Next Generation Visual Programming Platform
datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
Fuzzing101
A GitHub Security Lab initiative https://securitylab.github.com/
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
ml4se
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
mold
mold: A Modern Linker
compiler-potpourri
Tools for a compilers course
alive2
Automatic verification of LLVM optimizations
fp-course
Functional Programming Course
spectacle
Embedded specification language & model checker in Haskell