sukwon0709 Goto Github PK

artemis

automated testing for JavaScript

batch-import

generic csv file neo4j batch importer

batman

A black-box testing tool for identifying access control flaws within web applications

cis194

commuter

Automated multicore scalability testing tool

course

Functional Programming Course

courseography

Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.

crawljax

Crawljax: Crawling JavaScript-based Ajax Web Applications

craxweb

csc488-materials

CSC488H1S Winter 2016: Compilers & Interpreters

cube-composer

A puzzle game inspired by functional programming

emacs-dot

enemy-of-the-state

This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.

fakedata

Haskell Library for producing quality fake data

friendtrackerui

bb10 client

gem5

github

The github API for Haskell

gremlin-plugin

A Plugin for the Neo4j server add Tinkerpop-related functionality

grpc-c

C implementation of gRPC layered on top of core library

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

hdbc-odbc

ODBC driver for HDBC

hpack

hpack: A modern format for Haskell packages

hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

infernu

Type inference and checking for a safer JavaScript.

javascript30

30 Day Vanilla JS Challenge

joern

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

joern-1

Open-source code analysis platform for C/C++ based on code property graphs

jpanlib

Joern program analysis library

keystone_trust

Some experiments with Keystone v3 Trusts API.

kjh-vita

A simple LaTeX template that I use for my Vita.