All software
IntervalMDPAbstractions.jl_ReproducibilityPackage
Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions
- embedded systems
- Markov processes
- Stochastic control and optimization
- C
- C++
- HTML
- + 10
Analizo
Analizo is a free, multi-language, extensible source code analysis. It supports the extraction and calculation of a fair number of source code metrics, generation of dependency graphs, and software evolution analysis.
- Software Evolution
- Source Code Metrics
- Static Analysis
- C
- C#
- C++
- + 7
Baklava
Deploys a Kubernetes cluster and big data services on the cloud.
- Big data
- High performance computing
- Optimized data handling
- Dockerfile
- HCL
- Python
- + 2
CBRAIN
CBRAIN is a flexible Ruby on Rails framework for accessing and processing of large data on high-performance computing infrastructures.
- CBRAIN
- cluster
- Data Analysis
- + 6
- CSS
- HTML
- JavaScript
- + 3
Emo-spectre
Interactive visualization and exploration of multi modal time-series data and video
- Visualization
- Workflow technologies
- Common Workflow Language
- Dockerfile
- JavaScript
- + 5
emvoice
A Python package for computing emotion expression-related features from speech signals.
- Emotion expressions
- python
- Speech processing
- Python
- Shell
GameBus FHIR Layer
Enable FHIR service for GameBus and beyond
- Data Harmonization
- FHIR
- healthcare
- + 1
- Dockerfile
- Java
- Shell
Geodisy
Geodisy is a research data discovery tool that harvests information from existing research data repositories and displays applicable records onto a map-based search interface.
- geospatial
- metadata
- research data
- CSS
- HTML
- Java
- + 6
IRIDA
Integrated Rapid Infectious Disease Analysis (IRIDA) platform is a user-friendly, distributed, open source bioinformatics and analytical web platform that was developed to support real-time infectious disease outbreak investigations using whole genome sequencing data.
- genomics
- infectious disease
- CSS
- Dockerfile
- HTML
- + 6
ISAAC Chrome extension
Chrome Web Extension for support of the NWO ISAAC platform. This extension is not endorsed or developed by the NWO.
- BibTeX
- CITATION.cff
- DataCite
- + 1
- CSS
- HTML
- JavaScript
- + 1
i-VRESSE workflow-builder
Need to write a complex config file then the i-VRESSE workflow builder might be the tool for you.
- Workflow technologies
- CSS
- HTML
- JavaScript
- + 3
lintlang
Zero-LLM static linter for AI agent configurations, tool descriptions, and system prompts, with deterministic checks that run in CI.
- agent-config linting
- LLM reliability
- prompt linting
- + 2
- JavaScript
- Python
- Shell