Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsBrowse all SpotlightsAll software1FilterClearOrder byOrder byKeywords19Program languages31Licenses2121-3 of 3JPlagJPlag is one of the most used software plagiarism detectors in universities around the world.Automated Obfuscation AttackCollusion DetectionEducation+ 7JavaANTLRRust+ 155423KeYKeY is a deductive verification system for Java programsDeductive VerificationFirst-Order LogicFormal Verification+ 3JavaHTMLANTLR+ 1430952NESTMLNESTML is a domain-specific language for neuron and synapse models. It combines an easy to understand, yet powerful syntax with good simulation performance by means of code generation.ModellingSimulationspiking neural networksPythonJinjaANTLR+ 400