An introduction to Tensorflex
A tutorial explaining how Tensorflex can be used to generate predictions on saved Tensorflow graph modelsA compact introduction to the P4 programming language
Using Barefoot Network's p4app tool to run (after solving) the Scrambler P4 exercise released during SIGCOMM last yearBuilding a speech recognition agent using CMU Sphinx
Using the CMU Sphinx/pocketsphinx speech recognition libraries to build a voice command recognition systemHands-on with Proof Assistants:- Coq and Isabelle
Understanding the role of interactive theorem provers in formal mathematics with an example
Newer