sucksome

Birla Institute of Technology and Sciences (BITS), Pilani, Hyderabad Campus

Pinned Repositories

aris
GNU Aris (fork)
Language:C7 3 133
os-assignment-1
Language:C0 1 00
os-assignment-2
Language:C0 2 00
CS-F214-Assignment
Language:C0 3 00
aris
GNU Aris (fork)
Language:C4 0 00
convex-hull-visualization
Language:C++1 0 00
CS-F214-Assignment2
A simple tool for verifying whether a certain proof of a given sequent is valid or not
Language:C2 1 00
CSF211-Lab
Solutions to DSA Lab Sheets
Language:C0 1 00
lilOJ
Language:Java0 1 00
rna-fold
Language:C++0 0 00

sucksome's Repositories

sucksome/aris
GNU Aris (fork)
Language:C4 0 00
sucksome/CS-F214-Assignment2
A simple tool for verifying whether a certain proof of a given sequent is valid or not
Language:C2 1 00
sucksome/convex-hull-visualization
Language:C++1 0 00
sucksome/CSF211-Lab
Solutions to DSA Lab Sheets
Language:C0 1 00
sucksome/lilOJ
Language:Java0 1 00
sucksome/rna-fold
Language:C++0 0 00