Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsAll software1FilterClearOrder byOrder byKeywords15Program languages31Licenses2121-3 of 3JPlagJPlag is one of the most used software plagiarism detectors in universities around the world.clone detectionJavaopen source+ 4JavaANTLRRust+ 155146KeYKeY is a deductive verification system for Java programsDeductive VerificationFirst-Order LogicFormal Verification+ 3JavaHTMLANTLR+ 1430776NESTMLNESTML 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