Pinned Repositories
704examples
Code demonstrations from CS 704 at UW-Madison / MadPL
adab-extractor
awd-lstm-lm
LSTM and QRNN Language Model Toolkit for PyTorch
backdoor_data_poisoning
barghouthi.github.io
blog
bookdown
Authoring Books and Technical Documents with R Markdown
cav16-aec
code2seq
Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
cs704
CS 704 course website - Principles of Programming Languages
barghouthi's Repositories
barghouthi/cs704
CS 704 course website - Principles of Programming Languages
barghouthi/704examples
Code demonstrations from CS 704 at UW-Madison / MadPL
barghouthi/cav16-aec
barghouthi/adab-extractor
barghouthi/awd-lstm-lm
LSTM and QRNN Language Model Toolkit for PyTorch
barghouthi/backdoor_data_poisoning
barghouthi/barghouthi.github.io
barghouthi/blog
barghouthi/bookdown
Authoring Books and Technical Documents with R Markdown
barghouthi/code2seq
Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
barghouthi/craftinginterpreters
Repository for the book "Crafting Interpreters"
barghouthi/Dafny-VMC
barghouthi/eran
ETH Robustness Analyzer for Deep Neural Networks
barghouthi/fairsquare
barghouthi/L2
λ² is a tool for synthesizing functional programs from input-output examples.
barghouthi/models
Models and examples built with TensorFlow
barghouthi/neural-networks-and-deep-learning
Code samples for my book "Neural Networks and Deep Learning"
barghouthi/pandoc-ssg
Pandoc-SSG is a Make driven Pandoc static site generator. It features basic functionality in a trivial implementation.
barghouthi/r4cppp
Rust for C++ programmers
barghouthi/repsatsixty
barghouthi/vmw19