Discover @k4rtik Open Source projects

Kartik Singhal (@k4rtik)

k4rtik

Stars
149
Global Rank 154,504 (Top 6 %)
Followers 231
Following 190
Registered about 14 years ago
Most used languages

C
23.8 %

Rust
14.3 %

TeX
14.3 %

Python
9.5 %

Makefile 9.5 %

HTML
9.5 %

JavaScript
4.8 %

C++
4.8 %

Coq 4.8 %

OCaml
4.8 %
Location 🇺🇸 United States
Country Total Rank 34,256
Country Ranking

Coq 231

TeX
241

OCaml
791

Makefile 1,144

Rust
5,285

C
6,791

latex-project-report-template

LaTeX based template for college project reports

pydf-pypi

PyPI package for pydf

PureVMM

A Purely Hardware-Assisted VMM for x86 Architecture

uchicago-poster

Unofficial Poster Template for UChicago Computer Science

popclip-ytdl

PopClip youtube-dl extension

concurrent-graph

LibShare

Peer to peer sharing of physical books

bittorrent-rs

BitTorrent Protocol and Client implementation in Rust

beastie

bone-adk

Android Open Accessory Development Kit using BeagleBone

CSU397

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

q

lambda-qs

Formalization of λ-Q#, a core calculus for Q# programming language

techglider.in

Source for my public web home

CSU230

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

ip-tcp-rs

rustcast

A simple Internet Radio Station

beej

Beej's guide's examples, a bit improved

ve-report

LaTeX based project report on Software Ethics

type-systems

To learn by doing formalization

CSU396

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