Beast code in Giters

Hyun Il Harry Shin's repositories

2015_2_HW

Language:OCaml000

advDB

Language:Python000

async

Language:C++000

bitcouponseller

Language:Java000

bwt_comparison

Language:Python000

cp2017s_practice

Language:C++000

cpTemp

Language:Python000

datacomp_project

Language:Python000

DB

Language:Java000

DBPreview

000

dftree

Language:C++000

DS_preview_tasks

자구 과제

Language:Java000

empteRep

000

HexagonalED

Korean twenty-old_newbie programmer

000

logsum

Language:C++000

native-coq

Coq with native compilation, as well as machine integers and arrays !

Language:OCamlLGPL-2.1000

PGM

Language:Python000

PLPreview

plpreview

Language:OCaml000

rel

Language:C000

secondrapics

Language:C000

software-foundations

My solutions to the exercises in 'Software Foundations'

Language:CoqMIT000

TestApp-DCSLAB

020

vis_project

Language:JavaScript000