unshorn Goto Github PK

navex

notes

openhtmltopdf

An HTML to PDF library for the JVM. Based on Flying Saucer and Apache PDF-BOX 2. With SVG image support. Now also with accessible PDF support (WCAG, Section 508, PDF/UA)!

oplss-notes-2019

Notes and handouts from OPLSS 2019

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

pdfbox

Mirror of Apache PDFBox

performance-bug-detector

An application that detects performance bugs in Java programs.

petrol

A simple event-handling framework for ClojureScript projects.

phosphor

Phosphor: Dynamic Taint Tracking for the JVM

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

pl-class-public

Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages

pm

package managers visualization

pml-book

"Probabilistic Machine Learning" - a book series by Kevin Murphy

pradet-replication

prml

PRML algorithms implemented in Python

probability-monad

program-analysis-examples

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

programmingassignment2

Repository for Programming Assignment 2 for R Programming on Coursera

publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

pyexz3

Python Exploration with Z3

queryfuzz

QueryFuzz implements a metamorphic testing approach to test Datalog engines.

radamsa

a general-purpose fuzzer

randoop

Automatic test generation for Java

razor

rmsbolt

pony mode WIP

safe

Scalable Analysis Framework for ECMAScript

scalpel

Scalpel: A Python Program Analysis Framework

scheme-to-c

A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

serial

Light-weight, fast framework for object serialization in Java, with Android support.