unshorn Goto Github PK

abi

alive2

Automatic verification of LLVM optimizations

anathema

.NET instrumentation framework

annotated_research_papers

This repo contains annotated research papers that I found really good and useful

autoclave

repeatedly run programs until they break, and be ready to attach a debugger

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

babel-handbook

:blue_book: A guided handbook on how to use Babel and how to create plugins for Babel.

bbchop

bisection algorithm which works on intermittent bugs

black

Kenichi Asai's reflective programming language Black

ckanren

Constraint programming language embedded in Racket

collabfuzz

CollabFuzz: A Framework for Collaborative Fuzzing

comby

A tool for structural code search and replace that supports ~every language.

compiler-potpourri

Tools for a compilers course

concurrent-trees

Concurrent Radix and Suffix Trees for Java

criticality_score

Gives criticality score for an open source project

cs-video-courses

List of Computer Science courses with video lectures.

datadep-detector

datafrog

A lightweight Datalog engine in Rust

datalog

An in-memory datalog implementation for OCaml.

datasciencecoursera

datascript

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

datasharing

The Leek group guide to data sharing

designs

This repo is used for reviewing new .NET designs.

dgsh

Shell supporting pipelines to and from multiple processes

differential-datalog

An in-memory incremental Datalog engine based on Differential Dataflow

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

fourier

An Interactive Introduction to Fourier Transforms

fp-course

Functional Programming Course

frap

Formal Reasoning About Programs