Sungkook Kim's repositories
deep-learning-v2-pytorch
Projects and exercises for the latest Deep Learning ND program https://www.udacity.com/course/deep-learning-nanodegree--nd101
at90can128_uart
electric car - hw1: UART lib for at90can128
SPARTA
SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
hoare-logic-prover
A very basic prover for Hoare triples
hoare-logic
Hoare logic for classroom demonstration
logictensornetworks
Deep Learning and Logical Reasoning from Data and Knowledge
crab-llvm
Abstract Interpretation of LLVM bitcode
react-redux-realworld-example-app
Exemplary real world application built with React + Redux
rosnodejs
Client library for writing ROS nodes in JavaScript with nodejs
lzw
lzw compression
string_matching
string matching algorithms
stlc
STLC implementations with W & M algorithms in OCaML
rosnodejs_examples
Examples on how to use rosnodejs in a ROS catkin environment
RoboND-Rover-Project
Project repository for the Unity rover search and sample return project.
lambda-language-ometa
http://lisperator.net/pltut/parser/ implemented in http://www.tinlizzie.org/ometa-js/
ssc
select source control
data
ipython labseminar
mnist
ml homework(mnist)
pinpoint
Pinpoint is an open source APM (Application Performance Management) tool for large-scale distributed systems written in Java.