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
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.
git-exercise
git exercise
MineSweeper
MineSweeper
opencv
Open Source Computer Vision Library
pytorch_lite
flutter package to help run pytorch lite models classification and YoloV5 and YoloV8.
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.
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.