• Compute Simulation Infrastructure

  • Command line programs

  • Neural Network tools

    • Netron : Netron is a viewer for neural network and capable of visualizing neural network models generated by a variety of deep learning frameworks, including ONNX, Caffe2, MXNet, etc.
  • Python libraries

    • Igraph : Igraph is a graph library that has multiple bindings available (including python, R, etc.) The library is well documented and can be used without a steep learning curve.
    • z3-solver: Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. This is a great tool for solving SAT and other optimization problems.
    • Dash : This can be used to build interactive graphs and other visualization from statistics generated by architectural simulators.