s1db Goto Github PK

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

computing-integrals

Computing Integrals. Summer research project.

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.

datascienceforindia.com

discrete-event-simulator

dl

modelzzz

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:

pika

A small (untyped) pi-calculus interpreter

project-element

Website for Project Element

proof-logging

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

psosn

Summer School at IIITH on Privacy and Security in Online Social Networks

python-guide

Python best practices guidebook, written for Humans.

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