Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsBrowse all SpotlightsAll software1FilterClearOrder byMentionsOrder byKeywords68Program languages44Licenses11121-12 of 22QUASTQUAST is a state-of-the-art tool for (meta)genome assembly evaluation, computing over 50 quality metrics and presenting results in plain text, static plots, and interactive HTML reports.Data VisualizationFAIR SoftwareGenome assembly+ 4AMPLC++Python+ 1249320KeYKeY is a deductive verification system for Java programsDeductive VerificationFirst-Order LogicFormal Verification+ 3JavaHTMLANTLR+ 14301001matRadmatRad is a dose calculation and inverse treatment planning toolkit for radiotherapy research and education written in Matlab.HealthMedical PhysicsParticle Therapy+ 2MATLABTeXC++1223XRAYPACA software package for modeling x-ray-induced dynamics of matterlight-matter interactionradiation chemistrystructural imaging+ 3Fortran Free FormPythonShell+ 25101Earth System Model Evaluation Tool (ESMValTool)climate modellingData analysisEarth & Environment+ 4NCLPythonR+ 61765BlenderProcA procedural Blender pipeline for photorealistic training image generationBlenderDataset creationIndoor Scene+ 4PythonTeX861kramersmoyalThe Python package `kramersmoyal` provides functions to analyze stochastic drift-diffusion and discontinuous stochastic processes in observational and experimental data.Data analysisDrift-DiffusionEnergy+ 5PythonTeX227mmpxrtRaytracing code for x-ray spectrometers with (not only) mossaic crystals Helps with design and analysis of x-ray spectrometers. Useful tool for (rather) experienced physicist. PythonCSSHTML+ 216ESMValCoreData analysisEarth & EnvironmentFAIR Software+ 2PythonJupyter NotebookHTML+ 5173UQTestFunsA Python3 library of uncertainty quantification (UQ) test functionsBenchmarkpythonSoftware Testing+ 1PythonTeX22PeriHubPeriHub is a platform that provides a numerical implementation of the peridynamic theory. It is an extension of the open source Peridigm software. Peridynamics is a non-local theory that overcomes discontinuity problems of the classical theory of continuum mechanics.Data VisualizationHigh performance computingModelling+ 2PythonVueTypeScript+ 721ETHOS.PeNALPSETHOS.PeNALPS (Petri Net Agent based Load Profile Simulator) is a Python library for the simulation of load profiles of plants of industrial manufacturing processes. Load profiles are energy demand time series. Energy System AnalysisLoad Profileopen source+ 2PythonTeX3012