ankitku Goto Github PK

a2c

Tools to automate grading of automata.

acl2

ACL2 System and Books as Maintained by the Community

algorithms

ankitku

Config files for my GitHub profile.

ankitku.github.io

my web log

awotap

Ankit's World of Types and Proofs

barebones

a barebones os in c,asm to start building an os, for learning

blog_source

source of my weblog

c_ds_random

random material,code

ca_project

Computer Architecture Project on determining SIMT reconvergence stack depth on Kepler GPU

cardboard_teach

teaching assist to save state of the black board

category-theory

A formalization of category theory in Coq for personal study and practical work

circuit-finding-algorithm

An implementation of the Johnson's circuit finding algorithm

deep

A deepawali fireworks RIA app capable of running on javafx enabled mobile devices and browsers. This was my first and last work in javaFX.

dotfiles

backup programs and dotfiles

droidcon13

flipkhackathon2014

gpuonandroid

Testing running times of complex calculations on GPU vs CPU. The app runs the gpu kernel code written in c++ using jni interface on my Xperia Z1, which has adreno320 gpu. NDK required to build the project.

gradescope-acl2s

Library to automate grading of ACL2s forms in Gradescope

gsacl2ws

ACL2 Workshop code

hacker-scripts

hackerrank

hlearn

Homomorphic machine learning

holo

Online Learning algos in Haskell

ksp

latex-pretty-symbols

Display many latex symbols as their unicode counterparts

linkedinhackday2014

linux-2.6

Old Mirror of Linus Torvald's Kernel Tree, see "linux" repo for current version

messenger-platform-samples

Messenger Platform samples for sending and receiving messages. Walk through the Get Started with this code. https://developers.facebook.com/docs/messenger-platform/quickstart

monkey

Monkey HTTP Daemon