Jordan Henkel (@jjhenkel)
github

jjhenkel

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    75
  • Global Rank 255,876 (Top 9 %)
  • Followers 18
  • Following 3
  • Registered almost 8 years ago
  • Most used languages
    Python
         44.4 %
    C
         11.1 %
    OCaml
         11.1 %
    CMake     11.1 %
    TypeScript
         11.1 %
    Shell
         11.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 52,469
  • Country Ranking
    CMake     301
    OCaml
         423
    TypeScript
         6,803

Top repositories

1

code-vectors-artifact

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

binnacle-icse2020

ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker
TypeScript
18
star
3

averloc

Repository for the Adversarial ML on Code things
Python
16
star
4

c2ocaml

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

lsee

lsee - a lightweight symbolic execution engine written in OCaml
OCaml
5
star
6

docker-build-log-analysis

Shipwright: a tool for building, clustering, analyzing, and fixing broken Dockerfiles.
Shell
3
star
7

instauro

Learning to Rank Code Repairs
Python
1
star
8

changed-error-codes

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

api-misuse-bugs

A collection API misuse bugs for benchmarking API misuse detectors
1
star
10

edit-embeddings

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