Ramneet-Singh

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.

Language:Python9 10

aimlc-iitd-website

Language:JavaScriptMIT2 10

DevConnect-App

A social network for developers, created with the help of MERN Stack.

Language:JavaScript2 10

DNGO

a pytorch implementation of Deep Networks for Global Optimization proposed in [Snoek 2015]

Language:PythonGPL-3.0200

logic-assignments

Assignments done for the course "Logic for Computer Science" at IIT Delhi, Fall'22.

Language:Python2 10

pytorch-Deep-Learning

Deep Learning (with PyTorch)

Language:Jupyter NotebookNOASSERTION200

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

Language:PythonBSD-3-Clause2 10

advent-of-code

My C++ solutions for the AdventOfCode 2022.

Language:C++1 10

Assignment123COL106Public

Language:Java100

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.

Language:Standard ML1 10

cloud-labs-wss22

Cloud computing labs for Winter Systems School 2022 at IIT Delhi.

Language:PythonMIT1 10

foRmaL-notes

Research Notes on Reinforcement Learning from Formal Specifications.

Language:Shell1 20

maverick-chronicles

Personal blog. I enjoy learning and writing about computer science and software engineering.

Language:Ruby1 10

mips-curve-area

MIPS Assembly Program for obtaining the area under a curve formed by joining successive points by a straight line.

Language:Assembly1 10

mips-pms

C++ program which acts as a multi-core processor and DRAM memory simulator for MIPS Assembly Language Programs.

Language:C++100

mips-postfix-evaluator

A MIPS Assembly Program for evaluating an expression in postfix format.

Language:Assembly1 10

Pacman-Multiplayer

A multiplayer version of the classic Pacman, built using SDL2 and asyncio

Language:C++1 10

snakify

A Transfer Learning based solution for Indian Snake Species Identification using Convolutional Neural Networks.

Language:Python1 10

snakify-presentation

Language:JavaScriptWTFPL1 10

SummerOfML-2021

Website for the Summer of ML Workshop series organized by AI/ML Club IIT Delhi.

1 10

traceroute-python

A Python script to emulate the functionality of the traceroute command.

Language:Python1 10

Traffic-Density-Estimation

Traffic density estimation using OpenCV Functions, utility-runtime tradeoff analysis of different methods and no. of threads vs CPU usage analysis.

Language:C++1 10

vimrc

The ultimate Vim configuration (vimrc)

Language:Vim scriptMIT100

virtualisation-with-containers

Repository for the course "Resource Virtualisation with Containers" taken at IIT Delhi in Fall '22.

Language:C1 10

alive2-experiments

Experiments with Alive2.

010

CfgCert

A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.

Language:Lean010

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.

Language:Python020

natded-proof-checker-grammar

Lark grammar for Fitch-Style Natural Deduction Proofs.

010

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.

Language:ShellMIT010

Slides-Incorrectness-Logic

Slides covering the paper Incorrectness Logic (Peter O' Hearn at POPL 2019).

Language:TeX010