k4rtik Goto Github PK

acmart

ACM consolidated LaTeX styles

agda-soas

Agda formalisation of second-order abstract syntax

alpo

amulads

auriga

Auriga is a minimalist LaTeX beamer presentation theme 📽

beastie

beautifulhugo

Theme for the Hugo static website generator

beej

Beej's guide's examples, a bit improved

bittorrent-rs

BitTorrent Protocol and Client implementation in Rust

bone-adk

Android Open Accessory Development Kit using BeagleBone

btclient

btp-gvn

Code for my BTP on Global Value Numbering

campus-radio

PHP and PostgreSQL based DBMS Course Project done with Aviral

compiling-pattern-guards

Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"

concurrent-graph

coq-io

Modeling I/O in Coq using free monads

counterexamples

Counterexamples in Type Systems

cs-home

Source for http://cs.brown.edu/~ksinghal

cse-nitc-v1

CSED NITC website version 0.1.x - pure hard coded XHTML/CSS

cse-nitc-v2

CSED NITC website version 0.2 - this was an attempt to create the basic structure of the website without any theme/template in mind

cse-nitc-v3-django

A Django based implementation attempt of CSED website

csu230

Programming assignments/homework done by Kartik Singhal under CSU230 Program Design course under CSED, NIT Calicut.

csu291

Code written for our Data Structures Lab Course at NIT Calicut.

csu396

Programming assignments done under CSU396 Programming Languages Lab course under CSED, NIT Calicut.

csu397

Programming assignments done under CSU397 OS Lab course under CSED, NIT Calicut.

davpssahibabad.org-2008

This was my first experience with real web hosting and a live website. Not many major changes from the previous site were done (except for the addition of message and photo of the new Principal of the school). Although the website didn’t develop further because of clash of ideas between the Principal and me, but I learned a lot about web hosting and this laid the foundation for TechGlider.com (now TechGlider.in), my own website which was launched on July 31, 2008.

davpswebsite-class-9-2004

This website was done by me when I was studying in standard 9. As a product of an inter house web design competition (which yours truly won while facing other participants who were all seniors ranging from classes 10 to 12), this website inspired me to step further into web design.

dotfiles

Those much-needed dotfiles!

dsss18

Lecture material for DeepSpec Summer School 2018

eventnet

Project Event Networks - A platform to connect events happening around various colleges in India.