jjhenkel Goto Github PK

aaravos

abstracted-kernel-traces

Collection of abstracted symbolic traces from the Linux Kernel

advent-of-code

api-misuse-bugs

A collection API misuse bugs for benchmarking API misuse detectors

arrow

Apache Arrow is a cross-language development platform for in-memory data. It specifies a standardized language-independent columnar memory format for flat and hierarchical data, organized for efficient analytic operations on modern hardware. It also provides computational libraries and zero-copy streaming messaging and interprocess communication. Languages currently supported include C, C++, Java, JavaScript, Python, and Ruby.

astminer

A library for mining of path-based representations of code

averloc

Repository for the Adversarial ML on Code things

azuredatastudio

Azure Data Studio is a data management and development tool with connectivity to popular cloud and on-premises databases. Azure Data Studio supports Windows, macOS, and Linux, with immediate capability to connect to Azure SQL and SQL Server. Browse the extension library for more database support options including MySQL, PostgreSQL, and MongoDB.

binnacle-icse2020

ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker

c2ocaml

c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)

changed-error-codes

Collection of functions from the linux kernel before/after a commit was applied that changed a returned error code.

code-vectors-artifact

Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"

code2seq

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

codesearchnet

Datasets, tools, and benchmarks for representation learning of code.

cubix

The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"

docker-build-log-analysis

Shipwright: a tool for building, clustering, analyzing, and fixing broken Dockerfiles.

dockerizeme

Automatically generate environment configurations as Dockerfiles

edit-embeddings

An implementation of edit embeddings in the spirit of 'Learning to represent edits'

enry

A command-line tool based on enry

gcc

henkels-have-to

ht-parser

Source code parser that runs on HTCondor

instauro

Learning to Rank Code Repairs

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

lsee

lsee - a lightweight symbolic execution engine written in OCaml

lstm-and-lime-for-samuel

ncc

Neural Code Comprehension: A Learnable Representation of Code Semantics

nteract

📘 The interactive computing suite for you! ✨

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch