ramneet-singh Goto Github PK

advent-of-code

My C++ solutions for the AdventOfCode 2022.

aimlc-iitd-website

alive2-experiments

Experiments with Alive2.

assignment123col106public

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.

cfgcert

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

cloud-labs-wss22

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

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]

formal-notes

Research Notes on Reinforcement Learning from Formal Specifications.

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.

logic-assignments

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

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-pms

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

mips-postfix-evaluator

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

natded-proof-checker-grammar

Lark grammar for Fitch-Style Natural Deduction Proofs.

pacman-multiplayer

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

pytorch-deep-learning

Deep Learning (with PyTorch)

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).

snakify

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

snakify-presentation

storm-masters-thesis

An implementation of symbolic MEC decomposition algorithms for MDPs in the Storm Probabilistic Model Checker.

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.

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

vimrc

The ultimate Vim configuration (vimrc)