Itsaka Rakotonirina's repositories
irakoton.github.io
personal webpage
Language:HTMLMIT000
language-deepsec
Syntax highlighting for the Deepsec prover
Language:CoffeeScript000
phd-files
PhD manuscript (pdf + bench files)
000
Midnight (remote)
based in Germany
personal webpage
Syntax highlighting for the Deepsec prover
PhD manuscript (pdf + bench files)