Ankit Kumar's Projects
Tools to automate grading of automata.
ACL2 System and Books as Maintained by the Community
Config files for my GitHub profile.
my web log
Ankit's World of Types and Proofs
a barebones os in c,asm to start building an os, for learning
source of my weblog
random material,code
Computer Architecture Project on determining SIMT reconvergence stack depth on Kepler GPU
teaching assist to save state of the black board
A formalization of category theory in Coq for personal study and practical work
An implementation of the Johnson's circuit finding algorithm
My Curriculum Vitae
A deepawali fireworks RIA app capable of running on javafx enabled mobile devices and browsers. This was my first and last work in javaFX.
backup programs and dotfiles
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.
Library to automate grading of ACL2s forms in Gradescope
ACL2 Workshop code
Homomorphic machine learning
Online Learning algos in Haskell
Display many latex symbols as their unicode counterparts
Old Mirror of Linus Torvald's Kernel Tree, see "linux" repo for current version
Messenger Platform samples for sending and receiving messages. Walk through the Get Started with this code. https://developers.facebook.com/docs/messenger-platform/quickstart