skkeem Goto Github PK
Name: Sungkook Kim
Type: User
Company: UC Davis
Bio: PhD student
Location: Davis
Name: Sungkook Kim
Type: User
Company: UC Davis
Bio: PhD student
Location: Davis
electric car - hw2: led control
electric car - hw1: UART lib for at90can128
automata hw1: dfa
Another suffix array sorting algorithm I don't know enough about yet and need for testing completeness.
Abstract Interpretation of LLVM bitcode
ipython labseminar
Projects and exercises for the latest Deep Learning ND program https://www.udacity.com/course/deep-learning-nanodegree--nd101
An example of a simple project in OCaml that uses Merlin
Hoare logic for classroom demonstration
A very basic prover for Hoare triples
lab2
lab3
http://lisperator.net/pltut/parser/ implemented in http://www.tinlizzie.org/ometa-js/
Deep Learning and Logical Reasoning from Data and Knowledge
lzw compression
ml homework(mnist)
station client program
Pinpoint is an open source APM (Application Performance Management) tool for large-scale distributed systems written in Java.
Exemplary real world application built with React + Redux
Project repository for the Unity rover search and sample return project.
Client library for writing ROS nodes in JavaScript with nodejs
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.