Hhro

권승완's repositories

BLPfs

2020 WCTF Challenge authored by Cykor

Language:C++4 2 3

kulms-cli

cli interface for korea university blackboard service

Language:Python200

lets_make_kernel

Language:C++2 2 7

turbolizer

Turbolizer tool from the v8 repository with added support to preload a profile

Language:JavaScript200

bug-localizer

Language:OCaml100

bugfixer-testbench

Language:Python100

draft

aaa

Language:Python100

hhro.github.io

Language:CSS100

papaWhaled

papaWhale API server with Flask

Language:Python100

patch-synthesizer

Language:OCaml100

revtools

Language:Python100

server-manager

Language:Python100

2020submissions

Pwn2Win CTF 2020 flag submissions

000

99-problems-in-ocaml

Language:Jupyter Notebook000

asm2vec

An unofficial implementation of asm2vec as a standalone python package

000

bugfixer

GPL-3.0000

cmdliner

Declarative definition of command line interfaces for OCaml

Language:OCamlISC000

cs492-program-reasoning

000

echo_client_server

Language:C++000

euler

Project Euler solution written in OCaml

Language:OCaml000

fuzzilli

A JavaScript Engine Fuzzer

Apache-2.0000

010

libseccomp

The main libseccomp repository

LGPL-2.1000

NIDS-data-processor

Language:Python020

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellCC0-1.0000

prosyslab.github.io

Language:HTMLMIT000

ssl_client_server

Language:C++000

web_proxy

Language:C++020

WMCTF2020-WriteUp

010

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000