damnjanovictanja

Pinned Repositories

• VSProject

  Master Studies' project as part of Software Verification course. Using information about symbolic execution of program provided by KLEE tool, generate picture of execution tree automatically. Most of the code is done using Python, and one .sh script to run all commands.

  Language:Python00

• potera

  Undergraduate Studies' project as part of Programming Language Paradigms course. Implementation of popular Serbian quiz 'The Chase' in Scala programming language.

  Language:Scala00

• MaxelerProject

  Master Studies' project as part of Advanced Software Architecture course. Implementation of Binomial Coefficient using Maxeler Technologies. Comparison of speed of execution of the same code written in C language and in dataflow paradigm.

  Language:C10

• ror

  Simple Ruby on Rails Application to demonstrate checking of email address and message, and then save new record into database.

  Language:Ruby00

• solvebio-python

  SolveBio Python bindings

  Language:Python2010

• solvebio-r

  SolveBio R Bindings

  Language:R46

• zoo_vrt

  IS Projekat 2018/19

  10

damnjanovictanja's Repositories