Sign in
Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
29
Program languages
46
Licenses
5
1-8 of 8
Cover image for Arbor

Arbor

Arbor is a high-performance library for computational neuroscience simulations with multi-compartment, morphologically-detailed cells, from single cell models to very large networks. Arbor is written from the ground up to help neuroscientists effectively use contemporary and future HPC systems.

  • GPU
  • High performance computing
  • Neural network
  • + 4
  • C++
  • AGS Script
  • Python
  • + 8
11
0
Cover image for ELECTRODE

ELECTRODE

ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.

  • Constant Potential Method
  • Electrochemistry
  • Molecular Dynamics
  • C++
  • Tcl
  • Python
  • + 23
4
2
Cover image for JURI

JURI

JURI (Jülich Reporting Interface) provides a template-driven fully client-based web framework to visualise data lists and associated data graphs.

  • JavaScript
  • HTML
  • CSS
  • + 5
3
0
Cover image for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • HTML
  • ANTLR
  • + 14
30
952
Cover image for KeYmaera X

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
2
3
Cover image for LLview

LLview

LLview is a set of software components to monitor clusters that are controlled by a resource manager and a scheduler system.

  • High performance computing
  • hpc
  • monitoring
  • + 2
  • Perl
  • Python
  • Shell
4
0
Cover image for t8code

t8code

t8code (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 managment
  • Data Visualization
  • exascale
  • + 3
  • C++
  • C
  • Makefile
  • + 6
14
7
Cover image for TSMP

TSMP

The Terrestrial Systems Modelling Platform (TSMP) is an open source framework implementing a scale-consistent, highly modular, massively parallel regional Earth system model. It represents transport and feedback processes of mass, energy and momentum across geo-ecosystem compartments and scales.

  • Earth & Environment
  • Fortran
  • Shell
  • C
  • + 10
6
0