Ramneet Singh's repositories
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.
logic-assignments
Assignments done for the course "Logic for Computer Science" at IIT Delhi, Fall'22.
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
advent-of-code
My C++ solutions for the AdventOfCode 2022.
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.
cloud-labs-wss22
Cloud computing labs for Winter Systems School 2022 at IIT Delhi.
foRmaL-notes
Research Notes on Reinforcement Learning from Formal Specifications.
maverick-chronicles
Personal blog. I enjoy learning and writing about computer science and software engineering.
mips-curve-area
MIPS Assembly Program for obtaining the area under a curve formed by joining successive points by a straight line.
mips-postfix-evaluator
A MIPS Assembly Program for evaluating an expression in postfix format.
Pacman-Multiplayer
A multiplayer version of the classic Pacman, built using SDL2 and asyncio
SummerOfML-2021
Website for the Summer of ML Workshop series organized by AI/ML Club IIT Delhi.
traceroute-python
A Python script to emulate the functionality of the traceroute command.
Traffic-Density-Estimation
Traffic density estimation using OpenCV Functions, utility-runtime tradeoff analysis of different methods and no. of threads vs CPU usage analysis.
virtualisation-with-containers
Repository for the course "Resource Virtualisation with Containers" taken at IIT Delhi in Fall '22.
alive2-experiments
Experiments with Alive2.
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.
natded-proof-checker-grammar
Lark grammar for Fitch-Style Natural Deduction Proofs.
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.
Slides-Incorrectness-Logic
Slides covering the paper Incorrectness Logic (Peter O' Hearn at POPL 2019).
storm-masters-thesis
An implementation of symbolic MEC decomposition algorithms for MDPs in the Storm Probabilistic Model Checker.
Work-Dotfiles
Vim and Zsh dotfiles I use for my work laptop.