Junhee cho's repositories
exercises-TDD
exercises from TDD for Embedded C written by James W.Grenning
52weeks_52projects
52주 52 프로젝트 시작!
course2013-ModelChecking
principles of model checking course in 2013
CourseATF
exercise android project: TemperatureConverter
cpputest
CppUTest unit testing and mocking framework for C/C++
crest
CREST is a concolic test generation tool for C.
crest-fcoverage
prints function coverage from crest's coverage file
crest-z3
CREST extension that support non-linear arithmetic
deleteme01
loop v1, v2
dockerfile
set of dockerfiles
fb-caffe-exts
Some handy utility libraries and tools for the Caffe deep learning framework.
gcc-hook
gcc/g++ command line hook
git-exercise
git exercise
metr
metric calculator
MineSweeper
MineSweeper
opencv
Open Source Computer Vision Library
quickcheck4c
Property based testing framework based on QuickCheck
SaliencyMix
SaliencyMix: A Saliency Guided Data Augmentation Strategy for Better Regularization
scala_chobo
scala 연습장
sm
state transition testing library
stp
Simple Theorem Prover.
tdg
test data generator
TemperatureConverter
Android Temperature Converter
Yet-Another-EfficientDet-Pytorch
The pytorch re-implement of the official efficientdet with SOTA performance in real time and pretrained weights.