Sign in
Ctrl K

All software

1Filter
Keywords
88
Program languages
65
Licenses
13
13-24 of 25
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 LiberTEM

LiberTEM

LiberTEM is an open source platform for high-throughput distributed processing of large-scale binary data sets and live data streams using a stream-based programming model. The current focus is pixelated scanning transmission electron microscopy (4DSTEM) and scanning electron beam diffraction data.

  • 4D STEM
  • electron microscopy
  • high-throughput
  • + 3
  • Python
  • TypeScript
  • JavaScript
  • + 6
23
27
Cover image for Medical Imaging Interaction Toolkit (MITK)

Medical Imaging Interaction Toolkit (MITK)

A free and open-source software for the development of interactive medical image processing applications. MITK provides a powerful and free application called the MITK Workbench, which allows users to view, process, and segment medical images.

  • Artificial Intelligence
  • C++
  • Data Visualization
  • + 7
  • C++
  • CMake
  • C
  • + 8
5
42
Cover image for mmpxrt

mmpxrt

Raytracing code for x-ray spectrometers with (not only) mossaic crystals Helps with design and analysis of x-ray spectrometers. Useful tool for (rather) experienced physicist.

  • Python
  • CSS
  • HTML
  • + 2
1
6
Cover image for NESTML

NESTML

NESTML is a domain-specific language for neuron and synapse models. It combines an easy to understand, yet powerful syntax with good simulation performance by means of code generation.

  • Modelling
  • Simulation
  • spiking neural networks
  • Python
  • Jinja
  • ANTLR
  • + 4
0
0
Cover image for Prospective Monitoring and Management - App (PIA)

Prospective Monitoring and Management - App (PIA)

PIA is a free open-source eResearch System for monitoring of incident events and provides a digital infrastructure for conducting population-based studies in any research field - at a study centre or at home. PIA focuses on repeated surveys. #DigitalEpidemiology #LongitudinalDataCollection #FOSS

  • Data Collection
  • Digital Infrastructure
  • epidemiology
  • + 5
  • TypeScript
  • HTML
  • JavaScript
  • + 10
11
5
Cover image for PiGx

PiGx

PiGx 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.

  • HTML
  • Python
  • R
  • + 7
5
0
Cover image for RadPlanBio

RadPlanBio

RadiationDosePlan- Image/Biomarker-Outcome-platform (RPB) is a collection of open source software systems integrated via portal to deliver a core software infrastructure necessary to support the operation of non-commercial trials unit.

  • Clinical-Research
  • Health
  • Radiotherapy
  • + 1
  • Java
  • HTML
  • CSS
  • + 1
3
8
Cover image for RCE

RCE

RCE is a distributed integration environment for scientists and engineers to analyze, optimize, and design complex systems like aircraft, ships, or satellites.

  • Aeronautics, Space and Transport
  • collaboration
  • Distributed Execution
  • + 3
  • Java
  • HTML
  • Gherkin
  • + 8
0
0
Cover image for SampleDB

SampleDB

SampleDB is a web-based electronic lab notebook with a focus on sample and measurement metadata. With SampleDB, you can track each step in the sample lifecycle and its schema system allows you to define exactly what metadata should be stored for each process, from a simple check box to time series.

  • Electronic Lab Notebook
  • metadata
  • Research Data Management
  • Python
  • HTML
  • JavaScript
  • + 4
8
0
Cover image for Tamarin Prover

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
  • + 6
0
0