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