Pinned Repositories
active-bystander-ios
iOS application for the Active Bystander programme at Imperial College London
active-bystander-server
Backend for iOS application for the Active Bystander programme at Imperial College London
collections-c-for-gillian
Gillian
javert-test262
Fork of test262 for JaVerT
JS_Parser
Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain
collections-c-for-gillian
Gillian
The Gillian Platform main repository
piNES
NES emulator using real NES controllers through pi GPIO.
alexismarinoiu's Repositories
alexismarinoiu/active-bystander-ios
iOS application for the Active Bystander programme at Imperial College London
alexismarinoiu/active-bystander-server
Backend for iOS application for the Active Bystander programme at Imperial College London
alexismarinoiu/collections-c-for-gillian
alexismarinoiu/Gillian
alexismarinoiu/javert-test262
Fork of test262 for JaVerT
alexismarinoiu/JS_Parser
Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain