Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsBrowse all SpotlightsAll software1FilterClearOrder byOrder byKeywords21Program languages31Licenses2121-3 of 3JPlagJPlag is one of the most popular software plagiarism detectors worldwide.Automated Obfuscation AttackCollusion DetectionData analysis+ 9JavaANTLRRust+ 157482KeYKeY is a deductive verification system for Java programsDeductive VerificationFirst-Order LogicFormal Verification+ 3JavaHTMLANTLR+ 1430963NESTMLNESTML 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