All software
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
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
- + 5
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
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
- dynamic parametric wake model
- surrogate wake model
- wind farm flow control
- + 1
- CSS
- HTML
- JavaScript
- + 7
Data Storytelling
Developing consistent, structured ways to present data across projects. Using LLMs and interactive tools to turn results into clear, engaging stories. Applying this approach to selected eScience projects, especially those in the upcoming center-wide evaluation.
- application
- llm
- storytelling
- + 1
- CSS
- HTML
- JavaScript
- + 3
eEcology Tracker calendar
Calendar overview with daily statistics of GPS-trackers used to track bird movements.
- Visualization
- CSS
- JavaScript
- Makefile
- + 5
FAIRSECO
FAIRSECO provides a way to quickly analyse a variety of data and metrics of your software, and it allows you to explore the impact of your software on the academic world. Metadata is gathered from many different sources, which is then analysed and compiled into a clear overview.
- Data Analysis
- FAIR
- Inter-operability & linked data
- + 2
- EJS
- JavaScript
- TypeScript
frbcat-web
Provides an easy to-use web frontend to browse and filter the Fast Radio Burst Catalogue.
- Optimized data handling
- Visualization
- CSS
- HTML
- JavaScript
NEWSGAC platform
Software for running the online platform of the NEWSGAC project for running explainable machine learning models on textual data
- Explainable AI
- Machine learning
- Text analysis & natural language processing
- CSS
- Dockerfile
- HTML
- + 4
PathVisio
PathVisio is a free open-source software to curate biological pathway models.
- bioinformatics
- PathVisio
- Systems Biology
- + 2
- Batchfile
- CSS
- HTML
- + 4
Ricgraph - Research in context graph
With Ricgraph (Research in context graph), you can create a graph from research information that is stored in various source systems. You can explore this graph and discover relations you were not aware of.
- graph
- graph database
- research in context graph
- + 2
- CSS
- Dockerfile
- HTML
- + 5
sfb-annotator
Annotate field books of natural history collections
- Inter-operability & linked data
- CSS
- Dockerfile
- Java
- + 4