Pinned Repositories
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
c4
C in four functions
cache-attack-example
Minimal cache attack example
countdown
dovs_container
DynamicNoninterference
enter
A tool for entering answers for the multiple choice sets described at http://users-cs.au.dk/mis/Multiple/
grammophone
A tool for analyzing and transforming context-free grammars.
SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
Troupe
Troupe programming language
aslanix's Repositories
aslanix/SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
aslanix/enter
A tool for entering answers for the multiple choice sets described at http://users-cs.au.dk/mis/Multiple/
aslanix/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
aslanix/c4
C in four functions
aslanix/cache-attack-example
Minimal cache attack example
aslanix/countdown
aslanix/dovs_container
aslanix/DynamicNoninterference
aslanix/grammophone
A tool for analyzing and transforming context-free grammars.
aslanix/imp-vsi-type-system
aslanix/lattice
A Coq formalization of (bounded) lattices
aslanix/ni-formal-gc
Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
aslanix/scala-am
(Abstract) Abstract Machine Experiments using Scala
aslanix/SlidesCodeHighlighter
A little web app that helps you copy+paste syntax-highlighted code into slide decks.
aslanix/troupe-user-guide
aslanix/xterm-ansi-bundle
xterm.js and ansi-escape-sequences bundled for browser use