Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.All software1FilterClearOrder byOrder byKeywords130Program languages75Licenses171225-36 of 39PeriHubPeriHub 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+ 2PythonVueJavaScript+ 521PiGxPiGx is a collection of genomics pipelines. All pipelines are easily configured with a simple sample sheet and a descriptive settings file. The result is a set of comprehensive, interactive HTML reports with interesting findings about your samples.HTMLPythonR+ 750pyGMSpyGMS: lithosphere-scale rheological analyses of GMS models with Pythongeophysicsgeothermal modelingGMS+ 2PythonMakefile11python-icatPython interface to ICAT and IDSmetadatametadata cataloguepython+ 1PythonXSLTMakefile10RAFCONRAFCON uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms.Aeronautics, Space and Transportcollaborationrobotics+ 2PythonSCSSShell+ 100Score-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+ 239415SpecHomoSpecHomo is a Python package for spectral homogenization of multispectral satellite data, i.e., for the transformation of the spectral information of one sensor into the spectral domain of another one.Earth & EnvironmentRemote sensingspectral homogenizationPythonMakefileShell126Stable-Baselines3Stable Baselines3 (SB3) is a set of reliable implementations of reinforcement learning algorithms in PyTorch.Machine learningroboticsPythonShellMakefile+ 12621t8codet8code (spoken as "tetcode") is a C/C++ library to manage parallel adaptive meshes with various element types. t8code uses a collection (a forest) of multiple connected adaptive space-trees in parallel and scales to at least one million MPI ranks and over 1 trillion mesh elements.data managmentData Visualizationexascale+ 3C++CMakefile+ 6147Tamarin ProverThe Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.Cryptographic ProtocolsFormal VerificationInformationHaskellPythonJavaScript+ 600TiGLTiGL is a parametric aircraft geometry modeler. Using the CPACS file format and TiGL, you can model a wide range of aircraft, spacecraft and rotorcraft.CADC++CCMake+ 8332TiXITiXI is a fast and simple XML interface library and could be used from applications written in C, C++, Fortran, JAVA and Python.xmlC++CPython+ 7301234