Pinned Repositories
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
Local-Search-Copeland-Method
scholaronroad.github.io
Hosting my personal website
smol-proofs
lets make proofs smol uwu 🤏 🧾
tuppers-self-referential-formula
For my 9th grade mathematics assignment I made some plots using Tupper's Self Referential Formula which is a formula theorized by Jeff Tupper.
s1db's Repositories
s1db/2021-THI-Internship
Files and Notes from THI Internship Summer 2021
s1db/30-seconds-of-python
Short Python code snippets for all your development needs
s1db/bulletproof_testing
s1db/Copeland-Method
s1db/covid19india-react
Tracking the impact of COVID-19 in India
s1db/cppy
A numpy-based layer on top of Constraint Programming systems (minizinc/gecode/chuffed, or-tools, ...)
s1db/cs228-notes
Course notes for CS228: Probabilistic Graphical Models.
s1db/file-transfer-cli
A barebone file transfer protocol written on Python.
s1db/gesture-passwords
gesture passwords!!!!
s1db/guts_2021_hackathon
HYGTGUTS 2021 Hackathon
s1db/gym
A toolkit for developing and comparing reinforcement learning algorithms.
s1db/level4-project
Main project repo.
s1db/Local-Search-Copeland-Method
s1db/MRS-H
Modelling Reactive Systems in SPIN
s1db/NN-Verification
Verifying Neural Networks
s1db/nobelium
A static blog build on top of Notion and NextJS, deployed on Vercel.
s1db/okrs
🧭 My personal Objectives and Key Results (OKRs), tracked on GitHub
s1db/or-tools
Google's Operations Research tools:
s1db/project-element
Website for Project Element
s1db/proof-logging
Exploring proof logging of solvers and trying to make a MSci dissertation out of it.
s1db/SafeDRL
Repository for the paper "Probabilistic Guarantees for Safe Deep Reinforcement Learning" (https://arxiv.org/abs/2005.07073)
s1db/SafeRL_Infinity
Repository for the paper "Verifying Reinforcement Learning up to Inifinity"
s1db/scholaronroad
s1db/smol-proofs
lets make proofs smol uwu 🤏 🧾
s1db/voter-preference-templates
A library for generating voter patterns to study different social welfare functions.
s1db/Voting-Optimization
s1db/y1s2
uni shit
s1db/DL
modelzzz
s1db/SmolPB
A (fast) proof trimming tool.
s1db/VaradK62442.github.io
Personal website