yavivanov

Pinned Repositories

manual
Tamarin prover manual: source files
25 12 3939
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell439 25 385136
ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
Language:C++00
latex-homework-template
🎓📄 The LaTeX file that I used as the base for all my homework in university.
Language:TeX00
manual
Tamarin prover manual: source files
Language:JavaScript00
Surviving-with-android
Source code related to the posts in the blog
Language:Java00
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell00

yavivanov's Repositories

yavivanov/ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
Language:C++00
yavivanov/latex-homework-template
🎓📄 The LaTeX file that I used as the base for all my homework in university.
Language:TeX00
yavivanov/manual
Tamarin prover manual: source files
Language:JavaScript00
yavivanov/Surviving-with-android
Source code related to the posts in the blog
Language:Java00
yavivanov/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell00