Pinned Repositories
doom-emacs
An Emacs framework for the stubborn martian hacker
EinsumNetworks
pta-dynamic-analysis
This is a code repository for Program Testing and Analysis detailing Increasing the Performance of Dynamic Analyses Using Program Transformations
SLASH
Sum-Product-Logic
TensorFlow.jl
A Julia wrapper for TensorFlow
pta-dynamic-analysis
This is a code repository for Program Testing and Analysis detailing Increasing the Performance of Dynamic Analyses Using Program Transformations
cna_modules
Cluster-Normalize-Activate Modules
ml-research.github.io
SLASH
Scalable Neural-Probabilistic Answer Set Programming
askrix's Repositories
askrix/SLASH
askrix/Sum-Product-Logic
askrix/doom-emacs
An Emacs framework for the stubborn martian hacker
askrix/EinsumNetworks
askrix/pta-dynamic-analysis
This is a code repository for Program Testing and Analysis detailing Increasing the Performance of Dynamic Analyses Using Program Transformations
askrix/TensorFlow.jl
A Julia wrapper for TensorFlow