All software
SlicerRT
SlicerRT allows users to analyze spatio-temporal accumulation of the therapeutic dosage (radiation, thermal, etc.). Tools include dose visualization, quantitative metrics computation, comparison, and import/export to DICOM format.
- (C)
- (C++)
- (CMake)
- + 1
supersonic-effects
A Python package to model ozone column changes and radiative effects in response to various aircraft emissions at different altitudes over specific regions. The model combines empirical emission sensitivities to estimate effects of supersonic transport on ozone and radiation.
- aircraft
- Earth & Environment
- Earth System Modelling
- + 4
- Python
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 11
TBT-Segmentation
Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.
- CPS
- Formal Specification
- monitoring
- + 2
- Rust
- Python
- Shell
- + 2
PaN Training Catalogue for the Photon & Neutron Community
The PaN Training Catalogue is a fork from the TeSS Training Catalogue (ELIXIR) and was initially developed in our Photon and Neutron (PaN) projects ExPaNDS and PaNOSC.
- catalogue
- e-learning
- metadata
- + 3
- Ruby
- HTML
- JavaScript
- + 4
ULTImodel
A universal transport distribution model written in Python.
- Transport Distribution
- transport modelling
- Python
Revisited Via Appia
Create visual storylines that involve media like images and videos embedded in a 3D environment with efficient Pointcloud data directly from the web browser.
- cultural heritage
- Digital Twins
- gis
- + 2
- (CSS)
- (HTML)
- (JavaScript)
- + 3
Importing a Roman Transport network
Use open Roman datasets via and import them into a NetLogo model, using the ORBIS dataset (http://orbis.stanford.edu/) to create a set of Roman settlements and major routes between them.
Out of Africa - Conditional isotropic diffusion
A reimplementation of the classical study by Young and Bettinger (1992) investigating the possible drivers behind the Out of Africa dispersal of modern humans.
Landscape and Land Cover Generation
This algorithm generates landscapes and landcovers in contiguous zones. Users can define different landscape types, landcovers and rules for settlement placement in the setup procedure. It is designed to allow flexible configuration of environmental and social parameters.
SyGMa
SyGMa provides fast and lightweight predictions of human metabolites to support discovery scientists design better and safer drugs
- Workflow technologies
- (Python)
agda-core
Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
- core language
- Dependent Types
- type-checking
- + 2
- (Haskell)
- (Markdown)
- (Other)
- + 1