s1db

2021-THI-Internship

Files and Notes from THI Internship Summer 2021

30-seconds-of-python

Short Python code snippets for all your development needs

bulletproof_testing

Copeland-Method

covid19india-react

Tracking the impact of COVID-19 in India

cppy

A numpy-based layer on top of Constraint Programming systems (minizinc/gecode/chuffed, or-tools, ...)

cs228-notes

Course notes for CS228: Probabilistic Graphical Models.

file-transfer-cli

A barebone file transfer protocol written on Python.

gesture-passwords

gesture passwords!!!!

guts_2021_hackathon

HYGTGUTS 2021 Hackathon

gym

A toolkit for developing and comparing reinforcement learning algorithms.

level4-project

Main project repo.

Local-Search-Copeland-Method

MRS-H

Modelling Reactive Systems in SPIN

NN-Verification

Verifying Neural Networks

nobelium

A static blog build on top of Notion and NextJS, deployed on Vercel.

okrs

🧭 My personal Objectives and Key Results (OKRs), tracked on GitHub

or-tools

Google's Operations Research tools:

project-element

Website for Project Element

proof-logging

Exploring proof logging of solvers and trying to make a MSci dissertation out of it.

SafeDRL

Repository for the paper "Probabilistic Guarantees for Safe Deep Reinforcement Learning" (https://arxiv.org/abs/2005.07073)

SafeRL_Infinity

Repository for the paper "Verifying Reinforcement Learning up to Inifinity"

scholaronroad

smol-proofs

lets make proofs smol uwu 🤏 🧾

voter-preference-templates

A library for generating voter patterns to study different social welfare functions.

Voting-Optimization

y1s2

uni shit

DL

modelzzz

SmolPB

A (fast) proof trimming tool.

VaradK62442.github.io

Personal website