cxjdavin

causal-discovery-under-off-target-interventions

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

cryptopals

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

differentialevolution

Differential evolution implementation

ibm_ponder_this

Solutions to IBM's monthly "Ponder This" puzzles

indra

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

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

tgchessbot

Play chess with this telegram bot!

thresholdsecretsharing

3 (k,n)-threshold secret sharing implementations

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"

cxjdavin/tgchessbot

Play chess with this telegram bot!

cxjdavin/thresholdsecretsharing

3 (k,n)-threshold secret sharing implementations

cxjdavin/causal-discovery-under-off-target-interventions

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

cxjdavin/differentialevolution

Differential evolution implementation

cxjdavin/ibm_ponder_this

Solutions to IBM's monthly "Ponder This" puzzles

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

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

cxjdavin/Unate-Recursive-Paradigm

Checks if a "Sum of Product" is a tautology

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

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

cxjdavin/active-causal-structure-learning-with-advice

Accompanying repository for "Active causal structure learning with advice"

cxjdavin/adaptivity-complexity-for-causal-graph-discovery

Accompanying repository for "Adaptivity Complexity for Causal Graph Discovery"

cxjdavin/cipher_encodings

CNF encodings for ciphers, generated in a modular fashion

cxjdavin/cryptominisat

An advanced SAT Solver

cxjdavin/cryptopals

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

cxjdavin/cxjdavin.github.io

personal website

cxjdavin/graphical_models

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

cxjdavin/indra

cxjdavin/algorithms-with-predictions.github.io

Overview website for research on Algorithms with Predictions (ALPS)

cxjdavin/luckydraw

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

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

cxjdavin/online-bipartite-matching-with-imperfect-advice

Accompanying repository for "Online bipartite matching with imperfect advice"

cxjdavin/stpca

Code for Masters thesis on Sparse Tensor PCA