Pinned Repositories
.doom.d
Doom Emacs config
BooleanMatrixFactorization.jl
Message passing approach to Bayesian Boolean matrix factorization based on https://github.com/mravanba/BooleanFactorization
dotemacs
FirstOrderLogic.jl
First order theorem proving in Julia
julia
The Julia Language: A fresh approach to technical computing.
william-macready's Repositories
william-macready/.doom.d
Doom Emacs config
william-macready/BooleanMatrixFactorization.jl
Message passing approach to Bayesian Boolean matrix factorization based on https://github.com/mravanba/BooleanFactorization
william-macready/dotemacs
william-macready/FirstOrderLogic.jl
First order theorem proving in Julia
william-macready/julia
The Julia Language: A fresh approach to technical computing.