sakekasi Goto Github PK

000-template-minimal

010-template-typescript-basic

011-template-typescript-server

020-template-swift-executable

030-template-python

040-template-ocaml

050-template-coq

a template for coq development

1126-a-programming-problem

an experiment in exploring dynamic execution of code

1160-logomotion-robot-code

team 1160's robot code for the 2010-2011 season

1160-scouting-app

used for collecting information on other FIRST robotics teams at competition.

albers-io

An interactive web-workspace inspired by Josef Albers' "Interaction of Color"

algorithms

my implementations of several search algorithms, sorting algorithms, and data structures in c

blocks-prototype

a prototype of a block based programming environment. Final project for CS137B at UCLA

bluengray

the bluengray wordpress theme

circularimageview

Create circular image view in android

clarinet

live instrumented code for call graph visualization

colorburst

my second wordpress theme.

computer-vision

accompanying code exercises and experiments for szeliski's "Computer Vision"

coq_serapy

Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.

d3

Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

daily-programmer

solutions to problems from reddit.com/r/dailyprogrammer

floodit

an implementation of the game flood it in gtk.

game-of-life

An implementation of conway's game of life in C++ using sdl

hmmlearn

Hidden Markov Models in Python, with scikit-learn like API

light-grayscale-syntax

A grayscale syntax theme with a light background. Made for Atom

linkshare-backend

a webapp for easy link sharing and importing to browser bookmarks.

linkshare-web

the web frontend for linkshare-backend.

logic-idsl

An internal DSL for logic programming in JS

markdown-environment

nestable-example-ui