• XFEM

  • Referenced in 358 articles [sw01026]
  • extended finite element (XFEM) computations and a modular and extensible system. The programme structure ... designed to meet all natural requirements for modularity, extensibility, and robustness. To facilitate mesh -- geometry...
  • OpenFOAM

  • Referenced in 369 articles [sw04317]
  • support from OpenCFD. It follows a highly modular code design in which collections of functionality...
  • AspectJ

  • Referenced in 130 articles [sw04426]
  • constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ ... attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • decision procedures and to offer a modular framework for studying their combination. Its purpose ... decision procedures and to offer a modular framework for studying their combination. ELAN takes from...
  • LMFDB

  • Referenced in 99 articles [sw07249]
  • LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended ... examples of L-functions coming from modular forms, elliptic curves, number fields, and Dirichlet characters...
  • DUNE

  • Referenced in 134 articles [sw01466]
  • Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs...
  • Why3

  • Referenced in 126 articles [sw04438]
  • library. An important emphasis is put on modularity and genericity, giving the end user...
  • GenLouvain

  • Referenced in 73 articles [sw13826]
  • quality function in terms of a generalized-modularity null model framework and then follows ... codes here work directly with the modularity matrix, not the adjacency matrix. That ... quality function specified in terms of a modularity matrix; but as such it does...
  • Keras

  • Referenced in 81 articles [sw15491]
  • TensorFlow. Keras is a minimalist, highly modular neural networks library, written in Python and capable ... easy and fast prototyping (through total modularity, minimalism, and extensibility). supports both convolutional networks...
  • Ptolemy

  • Referenced in 77 articles [sw07459]
  • modular formal semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation ... formal semantics for Ptolemy that is modular in the sense that atomic actors and their...
  • MeatAxe

  • Referenced in 64 articles [sw04906]
  • MeatAxe - Computing with Modular Representations. The MeatAxe is a set of programs for working with ... primary purpose is the calculation of modular character tables, although it can be used...
  • MOCHA

  • Referenced in 89 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a growing interactive software environment for system specification...
  • CUTEst

  • Referenced in 87 articles [sw11893]
  • memory allocation, a modern thread-safe Fortran modular design, a new Matlab interface...
  • AVISPA

  • Referenced in 81 articles [sw03172]
  • sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols...
  • Cactus

  • Referenced in 78 articles [sw04422]
  • rewrite of earlier versions, which enables highly modular, multi-language, parallel applications to be developed...
  • LLVM

  • Referenced in 75 articles [sw04892]
  • LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Despite...
  • Bebop

  • Referenced in 74 articles [sw08928]
  • implicitly using BDDs. By harnessing the inherent modularity in procedural abstraction and exploiting the locality...
  • Smallfoot

  • Referenced in 52 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic. Separation logic is a program logic ... hiding in the presence of pointers; and modular reasoning about concurrent programs...
  • Reduze

  • Referenced in 72 articles [sw10354]
  • different topologies is supported via a modular, load balancing job system. Fast graph and matroid...
  • ALF

  • Referenced in 67 articles [sw08603]
  • proof object containing placeholders. A modular type/proof checking algorithm for complete proof objects is presented...