k4rtik/CSU396 k4rtik/CSU396

  • This repository has been archived on 10/Jul/2021
  • Stars
    star
    1
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 12 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
k4rtik/CSU396
github

k4rtik

Reviews

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

Repository Details

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

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

q

HTML
1
star
13

lambda-qs

Formalization of λ-Q#, a core calculus for Q# programming language
Coq
1
star
14

techglider.in

Source for my public web home
HTML
1
star
15

CSU230

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

ip-tcp-rs

Rust
1
star
17

rustcast

A simple Internet Radio Station
Rust
1
star
18

beej

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

ve-report

LaTeX based project report on Software Ethics
TeX
1
star
20

type-systems

To learn by doing formalization
Makefile
1
star