cxjdavin

tgchessbot

Play chess with this telegram bot!

thresholdsecretsharing

3 (k,n)-threshold secret sharing implementations

causal-discovery-under-off-target-interventions

Accompanying repository for "Causal discovery under off-target interventions"

differentialevolution

Differential evolution implementation

ibm_ponder_this

Solutions to IBM's monthly "Ponder This" puzzles

subset-verification-and-search-algorithms-for-causal-DAGs

Accompanying repository for "Subset verification and search algorithms for causal DAGs"

Unate-Recursive-Paradigm

Checks if a "Sum of Product" is a tautology

verification-and-search-algorithms-for-causal-DAGs

Accompanying repository for "Verification and search algorithms for causal DAGs"

active-causal-structure-learning-with-advice

Accompanying repository for "Active causal structure learning with advice"

adaptivity-complexity-for-causal-graph-discovery

Accompanying repository for "Adaptivity Complexity for Causal Graph Discovery"

cipher_encodings

CNF encodings for ciphers, generated in a modular fashion

cryptominisat

An advanced SAT Solver

cryptopals

Cryptopal challenges (http://cryptopals.com/)

cxjdavin.github.io

personal website

graphical_models

Implementations of common graphical models, utilities for creating random graphs, and sampling from graphical models.

indra

algorithms-with-predictions.github.io

Overview website for research on Algorithms with Predictions (ALPS)

luckydraw

new-metrics-and-search-algorithms-for-weighted-causal-DAGs

Accompanying repository for "New metrics and search algorithms for weighted causal DAGs"

online-bipartite-matching-with-imperfect-advice

Accompanying repository for "Online bipartite matching with imperfect advice"

stpca

Code for Masters thesis on Sparse Tensor PCA