k4rtik/q k4rtik/q

  • Stars
    star
    1
  • Language
    HTML
  • License
    MIT License
  • Created over 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
k4rtik/q
github

k4rtik

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

latex-project-report-template

LaTeX based template for college project reports
TeX
76
star
2

pydf-pypi

PyPI package for pydf
Python
30
star
3

PureVMM

A Purely Hardware-Assisted VMM for x86 Architecture
C
10
star
4

uchicago-poster

Unofficial Poster Template for UChicago Computer Science
TeX
9
star
5

popclip-ytdl

PopClip youtube-dl extension
Makefile
5
star
6

concurrent-graph

C++
2
star
7

LibShare

Peer to peer sharing of physical books
Python
2
star
8

bittorrent-rs

BitTorrent Protocol and Client implementation in Rust
Rust
2
star
9

beastie

JavaScript
2
star
10

bone-adk

Android Open Accessory Development Kit using BeagleBone
C
2
star
11

CSU397

Programming assignments done under CSU397 OS Lab course under CSED, NIT Calicut.
C
1
star
12

lambda-qs

Formalization of ฮป-Q#, a core calculus for Q# programming language
Coq
1
star
13

techglider.in

Source for my public web home
HTML
1
star
14

CSU230

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

ip-tcp-rs

Rust
1
star
16

rustcast

A simple Internet Radio Station
Rust
1
star
17

beej

Beej's guide's examples, a bit improved
C
1
star
18

ve-report

LaTeX based project report on Software Ethics
TeX
1
star
19

type-systems

To learn by doing formalization
Makefile
1
star
20

CSU396

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