rumineykova's repositories
scribble-java
Core components for the Scribble Java tools
Language:HTML000
android-lab
A beginners lab for Android development
000
CGO18tutorial
A webpage for the CGO'18 tutorial: Improving security with reversibility and session types
000
Language:HTML000
Language:Java000
FabFlee
FabSim3 plugin for automated Flee-based simulations
Language:HTMLBSD-3-Clause000
Language:F#000
gatsby-starter-conference
Gatsby starter for conference website
MIT000
hello-world
github tutorial test
000
ocaml-mpst
Multiparty Session Types in OCaml
Language:Jupyter Notebook000
online-cv
A minimal Jekyll Theme to host your resume (CV)
Language:CSSMIT000
patchwork
All the Git-it Workshop completers!
NOASSERTION000
rumineykova.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:Java000
testing-samples
A collection of samples demonstrating different frameworks and techniques for automated testing
Apache-2.0000