sakekasi Goto Github PK
Name: Saketh Kasibatla
Type: User
Blog: http://www.sakekasi.com
Name: Saketh Kasibatla
Type: User
Blog: http://www.sakekasi.com
a template for coq development
an experiment in exploring dynamic execution of code
team 1160's robot code for the 2010-2011 season
used for collecting information on other FIRST robotics teams at competition.
An interactive web-workspace inspired by Josef Albers' "Interaction of Color"
my implementations of several search algorithms, sorting algorithms, and data structures in c
a prototype of a block based programming environment. Final project for CS137B at UCLA
the bluengray wordpress theme
Create circular image view in android
live instrumented code for call graph visualization
my second wordpress theme.
accompanying code exercises and experiments for szeliski's "Computer Vision"
Formalization of Wigderson's graph coloring algorithm in Coq
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:
solutions to problems from reddit.com/r/dailyprogrammer
an implementation of the game flood it in gtk.
An implementation of conway's game of life in C++ using sdl
Hidden Markov Models in Python, with scikit-learn like API
A grayscale syntax theme with a light background. Made for Atom
a webapp for easy link sharing and importing to browser bookmarks.
the web frontend for linkshare-backend.
An internal DSL for logic programming in JS
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.