Ramneet-Singh
Senior Undergraduate @ CSE IIT Delhi. My research interests include Programming Languages and Machine Learning.
New Delhi, India
Pinned Repositories
aimlc-iitd-website
boolf-parser-typeChecker-evaluator
A parser and evaluator written for a custom defined, strongly typed functional language of integer and boolean expressions. Built on top of Standard ML, using the tools mllex and mlyacc.
BotNet-Detection-ML
A Machine Learning based tool for identifying P2P (Peer To Peer) Bot-Nets using network traffic analysis, as well as detect the hosts involved in P2P traffic.
DevConnect-App
A social network for developers, created with the help of MERN Stack.
DNGO
a pytorch implementation of Deep Networks for Global Optimization proposed in [Snoek 2015]
logic-assignments
Assignments done for the course "Logic for Computer Science" at IIT Delhi, Fall'22.
mips-pms
C++ program which acts as a multi-core processor and DRAM memory simulator for MIPS Assembly Language Programs.
Pacman-Multiplayer
A multiplayer version of the classic Pacman, built using SDL2 and asyncio
pytorch-Deep-Learning
Deep Learning (with PyTorch)
Traffic-Density-Estimation
Traffic density estimation using OpenCV Functions, utility-runtime tradeoff analysis of different methods and no. of threads vs CPU usage analysis.
Ramneet-Singh's Repositories
Ramneet-Singh/BotNet-Detection-ML
A Machine Learning based tool for identifying P2P (Peer To Peer) Bot-Nets using network traffic analysis, as well as detect the hosts involved in P2P traffic.
Ramneet-Singh/DNGO
a pytorch implementation of Deep Networks for Global Optimization proposed in [Snoek 2015]
Ramneet-Singh/aimlc-iitd-website
Ramneet-Singh/DevConnect-App
A social network for developers, created with the help of MERN Stack.
Ramneet-Singh/logic-assignments
Assignments done for the course "Logic for Computer Science" at IIT Delhi, Fall'22.
Ramneet-Singh/Vaccine-Helper-Bot
Telegram bot providing a user-friendly and flexible way to be notified about available vaccination slots. Check it out at http://t.me/vaccineHelperBot
Ramneet-Singh/advent-of-code
My C++ solutions for the AdventOfCode 2022.
Ramneet-Singh/boolf-parser-typeChecker-evaluator
A parser and evaluator written for a custom defined, strongly typed functional language of integer and boolean expressions. Built on top of Standard ML, using the tools mllex and mlyacc.
Ramneet-Singh/cloud-labs-wss22
Cloud computing labs for Winter Systems School 2022 at IIT Delhi.
Ramneet-Singh/foRmaL-notes
Research Notes on Reinforcement Learning from Formal Specifications.
Ramneet-Singh/maverick-chronicles
Personal blog. I enjoy learning and writing about computer science and software engineering.
Ramneet-Singh/mips-curve-area
MIPS Assembly Program for obtaining the area under a curve formed by joining successive points by a straight line.
Ramneet-Singh/mips-pms
C++ program which acts as a multi-core processor and DRAM memory simulator for MIPS Assembly Language Programs.
Ramneet-Singh/mips-postfix-evaluator
A MIPS Assembly Program for evaluating an expression in postfix format.
Ramneet-Singh/Pacman-Multiplayer
A multiplayer version of the classic Pacman, built using SDL2 and asyncio
Ramneet-Singh/snakify
A Transfer Learning based solution for Indian Snake Species Identification using Convolutional Neural Networks.
Ramneet-Singh/snakify-presentation
Ramneet-Singh/SummerOfML-2021
Website for the Summer of ML Workshop series organized by AI/ML Club IIT Delhi.
Ramneet-Singh/traceroute-python
A Python script to emulate the functionality of the traceroute command.
Ramneet-Singh/Traffic-Density-Estimation
Traffic density estimation using OpenCV Functions, utility-runtime tradeoff analysis of different methods and no. of threads vs CPU usage analysis.
Ramneet-Singh/vimrc
The ultimate Vim configuration (vimrc)
Ramneet-Singh/virtualisation-with-containers
Repository for the course "Resource Virtualisation with Containers" taken at IIT Delhi in Fall '22.
Ramneet-Singh/alive2-experiments
Experiments with Alive2.
Ramneet-Singh/CfgCert
A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.
Ramneet-Singh/gradescope-python-autograder-col703-a1
Gradescope python autograder for Assignment 1 in the course COL703 (Logic for Computer Science) at IIT Delhi, Sem II 2023-24.
Ramneet-Singh/natded-proof-checker-grammar
Lark grammar for Fitch-Style Natural Deduction Proofs.
Ramneet-Singh/Slides-Compositional-Reasoning-for-WMMs
Slides covering two papers on Compositional Reasoning for Weak Memory Models. Presented as part of the course Special Module in Concurrency (COV889) at IIT Delhi, Sem II 2022-23.
Ramneet-Singh/Slides-Incorrectness-Logic
Slides covering the paper Incorrectness Logic (Peter O' Hearn at POPL 2019).
Ramneet-Singh/storm-masters-thesis
An implementation of symbolic MEC decomposition algorithms for MDPs in the Storm Probabilistic Model Checker.
Ramneet-Singh/Work-Dotfiles
Vim and Zsh dotfiles I use for my work laptop.