Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsBrowse all SpotlightsAll software1FilterClearOrder byOrder byKeywords16Program languages23Licenses2121-2 of 2JPlagJPlag is one of the most used software plagiarism detectors in universities around the world.Automated Obfuscation AttackCollusion DetectionEducation+ 7JavaANTLRRust+ 155423KeYmaera XAn aXiomatic Tactical Theorem Prover for Hybrid SystemsAxiomDifferential Dynamic LogicHybrid Systems+ 3ScalaJavaScriptMathematica+ 723