miheerdew

delayed-admin

A self-control tool for system administrators.

cbce

Finding communities in a bipartite correlation network

Checking-Natural-Language-Proofs

The task of reviewing a natural language proof can be difficult as it requires verifying numerous mental calculations. On the other hand a formal language proof can be automatically verified by computers. Can we create tools to verify natural language proofs using the latest advances in natural language processing?

miheerdew.github.io

My academic website

831-Report

Graph Limits and Exchangeable Random graphs

Basket

A file sharing directory on LAN

bmd

chomper

Internet blocker written in Python for the Linux desktop.

CoarsenedPosterior

Examples using c-posterior for robustness to misspecification

corvars

Testing of some variance function; much code due to git/kbodwin

course-website

LibGen-calibre

a calibre plug-in that adds Library Genesis to your stores.

master-thesis

My master's thesis on infinite duration games

kickstart.nvim

A launch point for your personal nvim configuration

mitmproxy

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

owl

OWL: A generic method to robustly fit probabilistic models

probability

Probabilistic reasoning and statistical analysis in TensorFlow

SalesMan

A Sales Manager program

STA211-Sum1-22

Course website for STA 211 - Mathematics of Regression, Summer Term 1, 2022 at Duke Unversity