michaelpradel Goto Github PK

asdl2017

Course project for "Analysing Software using Deep Learning"

asdl2018

Course project for "Analysing Software using Deep Learning" (Summer 2018, TU Darmstadt)

blake3

the official Rust and C implementations of the BLAKE3 cryptographic hash function

code-lms

Guide to using pre-trained large language models of source code

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

contege

Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes

csrankings

A web app for ranking computer science departments according to their research output in selective venues.

deepbugs

DeepBugs is a framework for learning bug detectors from an existing code corpus.

jalangi

jalangi2

Dynamic analysis framework for JavaScript

jest-waterline-integration-test

lexecutor

A learning-guided approach for executing arbitrary Python code snippets

pcminer

PC-miner tool for program chairs

pointernet

Pytorch implementation of Pointer Network

spec

WebAssembly specification, reference interpreter, and test suite.

static-taint-analysis-project

suppression-test-accidental

suppression-test-accidental2

suppression-test-accidental3

suppression-test-accidental4

suppression-test-accidental5

suppression-test-accidental6

suppression-test-branches

suppression-test-python-pylint

suppression-test-python-pylint2

suppression-test-suppr-warn-map

suppression-test-warning-tracker

webappwalker

Automated UI-level testing of web applications