Ankit Kumar (@ankitku)
github

ankitku

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    36
  • Global Rank 430,311 (Top 15 %)
  • Followers 11
  • Following 36
  • Registered almost 14 years ago
  • Most used languages
    C
         22.2 %
    C++
         22.2 %
    Coq     11.1 %
    HTML
         11.1 %
    Java
         11.1 %
    SMT     11.1 %
    Common Lisp
         11.1 %
  • Location 🇮🇳 India
  • Country Total Rank 15,598
  • Country Ranking
    Coq     1
    SMT     3
    Common Lisp
         19
    C
         3,634
    C++
         4,314

Top repositories

1

TAL0

Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
Coq
20
star
2

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.
C++
3
star
3

A2C

Tools to automate grading of automata.
Common Lisp
2
star
4

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.
1
star
5

spotter

android app to recognize faces in mobile galery pics
Java
1
star
6

spoj

solutions to spoj problems
C
1
star
7

plAIR

A media (.flv & .mp3) player, made in Adobe Flex. The code is not elegant, neither follows any design principle. But it looks good, as all Flex apps do. Build in Eclipse(with Flex plugin), and deploy. Remember to install AIR first.
1
star
8

SeqSolve

SeqSolve is procedure for the satisfiability of string equations with length constraints. It is based on a non-deterministic transition system TranSeq which is part of the Mathematical Programming Modulo Theories framework.
SMT
1
star
9

barebones

a barebones os in c,asm to start building an os, for learning
C
1
star
10

c_ds_random

random material,code
C++
1
star
11

ankitku.github.io

my web log
HTML
1
star