Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsAll software0FiltersClearOrder byMentionsOrder byKeywords557Program languages110Licenses58121-12 of 224ODVOcean Data View (ODV) - Interactive exploration, analysis and visualization of oceanographic and other environmental data.Data analysisData VisualizationEarth & Environment+ 121429REMixREMix is a powerful software for energy systems optimization. It can be used for the planning and techno-economical assessment of future multi-energy systems of any spatial, temporal and technological scope. REMix offers a wide range of methods and features that can be flexibly selected by the user.EnergyEnergy planningESD+ 5GAMSPythonDockerfile181308KeYKeY is a deductive verification system for Java programsDeductive VerificationFirst-Order LogicFormal Verification+ 3JavaHTMLANTLR+ 1430776PalladioPalladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation. Component-Based Software EngineeringInformationModeling+ 33696OpenGeoSysOpenGeoSys (OGS) is a scientific open source project for the development of numerical methods for the simulation of thermo-hydro-mechanical-chemical (THMC) processes in porous and fractured media.Earth & Environmentgeotechnicsgeothermal modeling+ 5C++AGS ScriptJupyter Notebook+ 210559NESTNEST is a simulator for spiking neuronal networks. A well tested and efficient tool, NEST works on your laptop and also on the world’s largest supercomputers to study behaviour of large networks of neurons. Computational neuroscienceexascaleModeling+ 3C++PythonCMake+ 3119542JPlagJPlag is one of the most used software plagiarism detectors in universities around the world.clone detectionJavaopen source+ 4JavaANTLRRust+ 155422Score-PScore-P provides insight into massively parallel HPC applications, their communication, synchronization, I/O, and scaling behaviour to pinpoint performance bottlenecks and their causes.hpcInformationinstrumentation+ 5CC++M4Sugar+ 239415PeTrackPeTrack (Pedestrian Tracking) automatically extracts accurate pedestrian trajectories from video recordings (calibration, recognition, tracking). Individual codes enable personalized trajectories with static information of each participant. With a stereo camera also markerless tracking is possible. CalibrationCorrectionCrowd+ 12C++PythonCMake+ 25396IGMAS+Software combining 3-D forward and inverse modeling, interactive visualization and interdisciplinary interpretation of potential fields and their applications under geophysical and geological data constrains.3DCross-platformEarth & Environment+ 85380CrystFELCrystFEL is a suite of programs to process data from "serial crystallography" experiments.crystallographyMatterstructural biology+ 2CJuliaPython+ 225305CryoGridThe CryoGrid Model Suite provides a set of numerical tools for simulating the thermal soil regime and the ice-water balance for permafrost and glaciers. Depending on the application needs different model tools are offered, characterized by different levels complexity and modularity.ClimateEarth & EnvironmentModeling+ 1MATLABHTMLMercury+ 2825712345…19