GitHub repository: viluon/ni-apr
Primary language: Scala
Description: coursework for program analysis @ FIT CTU