Pinned Repositories
black
Kenichi Asai's reflective programming language Black
d202demo
datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
frap
Formal Reasoning About Programs
functional-programming-jargon
Jargon from the functional programming world in simple terms!
hephaestus
A framework for testing compilers' type checkers
hoare-tut
A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
martin-lof
papers of Per Martin Löf
pm
package managers visualization
unshorn's Repositories
unshorn/frap
Formal Reasoning About Programs
unshorn/pm
package managers visualization
unshorn/slides
slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
unshorn/typing-scheme
a rough translation of the static type system from EoPL into Racket
unshorn/alive2
Automatic verification of LLVM optimizations
unshorn/annotated_research_papers
This repo contains annotated research papers that I found really good and useful
unshorn/collabfuzz
CollabFuzz: A Framework for Collaborative Fuzzing
unshorn/comby
A tool for structural code search and replace that supports ~every language.
unshorn/datalog
An in-memory datalog implementation for OCaml.
unshorn/designs
This repo is used for reviewing new .NET designs.
unshorn/fp-course
Functional Programming Course
unshorn/fuzzing
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
unshorn/H5SC
HTML5 Security Cheatsheet - A collection of HTML5 related XSS attack vectors
unshorn/halfempty
A fast, parallel test case minimization tool.
unshorn/ijon
unshorn/jazzer
Coverage-guided, in-process fuzzing for the JVM
unshorn/Krakatau
Java decompiler, assembler, and disassembler
unshorn/littlelisp
A small Lisp interpreter in JavaScript
unshorn/phosphor
Phosphor: Dynamic Taint Tracking for the JVM
unshorn/Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
unshorn/queryFuzz
QueryFuzz implements a metamorphic testing approach to test Datalog engines.
unshorn/randoop
Automatic test generation for Java
unshorn/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
unshorn/SerializationDumper
A tool to dump Java serialization streams in a more human readable form.
unshorn/spectacle
Embedded specification language & model checker in Haskell
unshorn/sqlancer
Detecting Logic Bugs in DBMS
unshorn/src
tools for fast reading of docs
unshorn/t5
unshorn/testrunner
unshorn/TIP
Static program analysis for TIP